wenzelm@30046: set quick_and_dirty;
wenzelm@26844: set ThyOutput.source;
wenzelm@26741: use "../../antiquote_setup.ML";
wenzelm@26844: 
wenzelm@27035: use_thy "Introduction";
wenzelm@30042: use_thy "Framework";
wenzelm@30056: use_thy "First_Order_Logic";
wenzelm@27037: use_thy "Outer_Syntax";
wenzelm@28751: use_thy "Document_Preparation";
wenzelm@26869: use_thy "Spec";
wenzelm@26869: use_thy "Proof";
wenzelm@28762: use_thy "Inner_Syntax";
wenzelm@27048: use_thy "Misc";
wenzelm@26782: use_thy "Generic";
wenzelm@26840: use_thy "HOL_Specific";
wenzelm@26779: use_thy "Quick_Reference";
wenzelm@28838: use_thy "Symbols";
wenzelm@26846: use_thy "ML_Tactic";