changeset 69605 | a96320074298 |
parent 62392 | 747d36865c2c |
69604:d80b2df54d31 | 69605:a96320074298 |
---|---|
1 theory Setup |
1 theory Setup |
2 imports Main |
2 imports Main |
3 begin |
3 begin |
4 |
4 |
5 ML_file "../../antiquote_setup.ML" |
5 ML_file \<open>../../antiquote_setup.ML\<close> |
6 ML_file "../../more_antiquote.ML" |
6 ML_file \<open>../../more_antiquote.ML\<close> |
7 |
7 |
8 end |
8 end |