changeset 27035 | d038a2ba87f6 |
parent 26869 | 3bc332135aa7 |
child 27037 | 33d95687514e |
27034:5257bc7e0c06 | 27035:d038a2ba87f6 |
---|---|
2 (* $Id$ *) |
2 (* $Id$ *) |
3 |
3 |
4 set ThyOutput.source; |
4 set ThyOutput.source; |
5 use "../../antiquote_setup.ML"; |
5 use "../../antiquote_setup.ML"; |
6 |
6 |
7 use_thy "intro"; |
7 use_thy "Introduction"; |
8 use_thy "syntax"; |
8 use_thy "syntax"; |
9 use_thy "Spec"; |
9 use_thy "Spec"; |
10 use_thy "Proof"; |
10 use_thy "Proof"; |
11 use_thy "pure"; |
11 use_thy "pure"; |
12 use_thy "Generic"; |
12 use_thy "Generic"; |