| author | wenzelm |
| Mon, 08 Feb 2010 14:04:51 +0100 | |
| changeset 35031 | 2ddc7edce107 |
| parent 32833 | f3716d1a2e48 |
| child 37216 | 3165bc303f66 |
| permissions | -rw-r--r-- |
Unsynchronized.set quick_and_dirty; Unsynchronized.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" ];