Theory Antiquote_Setup

(*<*)
theory Antiquote_Setup
imports Main
begin

ML_file ‹~~/src/Doc/antiquote_setup.ML›

end
(*>*)