theory Setup imports Main begin ML_file "../../antiquote_setup.ML" ML_file "../../more_antiquote.ML" end