wenzelm@29755: theory Base
wenzelm@39846: imports Main
wenzelm@18537: begin
wenzelm@30272: 
wenzelm@48938: ML_file "../antiquote_setup.ML"
wenzelm@43564: 
wenzelm@18537: end