Theory Setup

theory Setup
imports Main
begin

ML_file ‹../antiquote_setup.ML›

end