Theory Base

theory Base
imports Main
(*:maxLineLen=78:*)

theory Base
imports Main
begin

ML_file "../antiquote_setup.ML"

end