changeset 33384 | 1b5ba4e6a953 |
parent 30573 | 49899f26fbd1 |
child 42279 | 6da43a5018e2 |
--- a/src/Pure/Syntax/simple_syntax.ML Mon Nov 02 20:30:40 2009 +0100 +++ b/src/Pure/Syntax/simple_syntax.ML Mon Nov 02 20:34:59 2009 +0100 @@ -11,7 +11,7 @@ val read_prop: string -> term end; -structure SimpleSyntax: SIMPLE_SYNTAX = +structure Simple_Syntax: SIMPLE_SYNTAX = struct (* scanning tokens *)