| changeset 26840 | ec46381f149d |
| parent 26782 | 19363c70b5c4 |
| child 26844 | 46b6306c181e |
| 26839:1d963bfd4a1b | 26840:ec46381f149d |
|---|---|
4 use "../../antiquote_setup.ML"; |
4 use "../../antiquote_setup.ML"; |
5 use_thy "intro"; |
5 use_thy "intro"; |
6 use_thy "syntax"; |
6 use_thy "syntax"; |
7 use_thy "pure"; |
7 use_thy "pure"; |
8 use_thy "Generic"; |
8 use_thy "Generic"; |
9 use_thy "HOL_Specific"; |
|
9 use_thy "Quick_Reference"; |
10 use_thy "Quick_Reference"; |