(*:maxLineLen=78:*) theory Setup imports Main begin ML_file \<open>../antiquote_setup.ML\<close> ML_file \<open>../more_antiquote.ML\<close> end