1
theory HOL4Syntax = HOL4Setup
2
files "import_syntax.ML":
3
4
ML {* HOL4ImportSyntax.setup() *}
5
6
end