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