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