changeset 46803 | f8875c15cbe1 |
parent 46800 | 9696218b02fe |
child 46804 | 1403e69ff43f |
--- a/src/HOL/Import/import_syntax.ML Sun Mar 04 00:04:37 2012 +0100 +++ b/src/HOL/Import/import_syntax.ML Sun Mar 04 00:15:08 2012 +0100 @@ -22,7 +22,7 @@ val setup : unit -> unit end -structure Importer_Import_Syntax :> IMPORTER_IMPORT_SYNTAX = +structure Importer_Import_Syntax : IMPORTER_IMPORT_SYNTAX = struct (* Parsers *)