2 imports Main
3 begin
4
5 ML_file "../antiquote_setup.ML"
6
7 setup Antiquote_Setup.setup
8
9 end
7 end