Theory Setup

theory Setup
imports Main
begin

ML_file "../antiquote_setup.ML"

end