| author | Walther Neuper <neuper@ist.tugraz.at> |
| Thu, 12 Aug 2010 15:03:34 +0200 | |
| branch | isac-from-Isabelle2009-2 |
| changeset 37913 | 20e3616b2d9c |
| parent 37216 | 3165bc303f66 |
| child 39042 | d8da44a8dd25 |
| permissions | -rw-r--r-- |
1 Unsynchronized.set quick_and_dirty;
2 Unsynchronized.set Thy_Output.source;
3 use "../../antiquote_setup.ML";
5 use_thys [
6 "Introduction",
7 "Framework",
8 "First_Order_Logic",
9 "Outer_Syntax",
10 "Document_Preparation",
11 "Spec",
12 "Proof",
13 "Inner_Syntax",
14 "Misc",
15 "Generic",
16 "HOL_Specific",
17 "Quick_Reference",
18 "Symbols",
19 "ML_Tactic"
20 ];