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