Theory Base

(*:maxLineLen=78:*)

theory Base
imports Main
begin

ML_file ‹../antiquote_setup.ML›

end