Removed remaining cheats + some cleaning.
quick_and_dirty := true;
no_document use_thys
["Nominal2_Base",
"Nominal2_Eqvt",
"Nominal2_Atoms",
"Nominal2_Supp",
"ExLam",
"ExLF",
"Ex1",
"Ex1rec",
"Ex2",
"Ex3",
"ExLet",
"ExLetRec",
"ExTySch",
"ExLeroy",
"ExPS3",
"ExPS7",
"ExCoreHaskell",
"Test"
(* "ExPS6", *)
];