1 theory Setup
2 imports Main
3 uses
4 "../../antiquote_setup.ML"
5 "../../more_antiquote.ML"
6 begin
7
8 end