Theory Base

(*:maxLineLen=78:*)

theory Base
imports Pure
begin
                       
ML_file ‹../antiquote_setup.ML›

end