added permutation simplification to the simplifier; this makes the simplifier more powerful, but it potentially loops more often
syntax: glob
*~
.#*
Quotient-Paper-jv/generated
Quotient-Paper-jv/document.pdf
qpaper-jv.pdf
LMCS-Paper/generated
LMCS-Paper/document.pdf
lmcs-paper.pdf
ESOP-Paper/generated
ESOP-Paper/document.pdf
esop-paper.pdf
Fun-Paper/generated
Fun-Paper/document.pdf
fnpaper.pdf
Pearl-jv/generated
Pearl-jv/document.pdf
pearl-jv.pdf
Pearl/generated
Pearl/document.pdf
pearl.pdf
Nominal/Ex/SFT/generated
Nominal/Ex/SFT/document.pdf
sft-paper.pdf
Nominal/Ex/Exec/generated
Nominal/Ex/Exec/document.pdf
exec-paper.pdf