| changeset 30042 | b6266c4c68fe |
| parent 28838 | d5db6dfcb34a |
| child 30046 | 020861892625 |
| 30041:c3233b483287 | 30042:b6266c4c68fe |
|---|---|
1 |
|
2 (* $Id$ *) |
|
3 |
1 |
4 set ThyOutput.source; |
2 set ThyOutput.source; |
5 use "../../antiquote_setup.ML"; |
3 use "../../antiquote_setup.ML"; |
6 |
4 |
7 use_thy "Introduction"; |
5 use_thy "Introduction"; |
6 use_thy "Framework"; |
|
8 use_thy "Outer_Syntax"; |
7 use_thy "Outer_Syntax"; |
9 use_thy "Document_Preparation"; |
8 use_thy "Document_Preparation"; |
10 use_thy "Spec"; |
9 use_thy "Spec"; |
11 use_thy "Proof"; |
10 use_thy "Proof"; |
12 use_thy "Inner_Syntax"; |
11 use_thy "Inner_Syntax"; |