| changeset 48891 | c0eafbd55de3 |
| parent 43564 | 9864182c6bad |
| 48890:d72ca5742f80 | 48891:c0eafbd55de3 |
|---|---|
1 theory Base |
1 theory Base |
2 imports Pure |
2 imports Pure |
3 uses "../../antiquote_setup.ML" |
|
4 begin |
3 begin |
5 |
4 |
6 setup {* Antiquote_Setup.setup *} |
5 ML_file "../../antiquote_setup.ML" |
6 setup Antiquote_Setup.setup |
|
7 |
7 |
8 declare [[thy_output_source]] |
8 declare [[thy_output_source]] |
9 |
9 |
10 end |
10 end |