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