1 theory Setup
2 imports Main
3 begin
4
5 ML_file "../../antiquote_setup.ML"
6 ML_file "../../more_antiquote.ML"
7
8 setup {* Antiquote_Setup.setup #> More_Antiquote.setup *}
9
10 end