Theory Phi_Document.Base

theory Base
  imports Pure
begin
  ML_file ‹antiquote_setup.ML›
end