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