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