1
(*:maxLineLen=78:*)
2
3
theory Base
4
imports Pure
5
begin
6
7
ML_file "../antiquote_setup.ML"
8
9
end