theory Base imports Pure begin ML_file "../../antiquote_setup.ML" setup Antiquote_Setup.setup declare [[thy_output_source]] end