Theory Base

(*:maxLineLen=78:*)

theory Base
imports Pure
begin

ML_file ‹../antiquote_setup.ML›

end