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