equal
deleted
inserted
replaced
1 theory Base |
1 theory Base |
2 imports Main |
2 imports Main |
3 uses "../../antiquote_setup.ML" |
|
4 begin |
3 begin |
5 |
4 |
|
5 ML_file "../../antiquote_setup.ML" |
6 setup {* Antiquote_Setup.setup *} |
6 setup {* Antiquote_Setup.setup *} |
7 |
7 |
8 end |
8 end |