1
theory Setup
2
imports Main
3
begin
4
5
ML_file "../antiquote_setup.ML"
6
7
setup Antiquote_Setup.setup
8
9
end