2
3 theory Base
4 imports Main
5 begin
6
7 ML_file "../antiquote_setup.ML"
7 ML_file \<open>../antiquote_setup.ML\<close>
8
9 end