added permutation simplification to the simplifier; this makes the simplifier more powerful, but it potentially loops more often
quick_and_dirty := true;
no_document use_thys
["Lambda",
"Minimal",
"Tutorial1s",
"Tutorial3s",
"Tutorial4s",
"Tutorial1",
"Tutorial2",
"Tutorial2s",
"Tutorial3",
"Tutorial4",
"Tutorial5",
"Tutorial6"
];