renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;
set quick_and_dirty;
set ThyOutput.source;
use "../../antiquote_setup.ML";
use_thys [
"Introduction",
"Framework",
"First_Order_Logic",
"Outer_Syntax",
"Document_Preparation",
"Spec",
"Proof",
"Inner_Syntax",
"Misc",
"Generic",
"HOL_Specific",
"Quick_Reference",
"Symbols",
"ML_Tactic"
];