Theory Base
theory
Base
imports
Pure
(*:maxLineLen=78:*)
theory
Base
imports
Pure
begin
ML_file
"../antiquote_setup.ML"
end