(*:maxLineLen=78:*) theory Setup imports Main begin ML_file ‹../antiquote_setup.ML› ML_file ‹../more_antiquote.ML› end