| changeset 35123 | e286d5df187a |
| parent 35115 | 446c5063e4fd |
| child 35363 | 09489d8ffece |
--- a/src/HOL/Tools/numeral_syntax.ML Sat Feb 13 23:16:06 2010 +0100 +++ b/src/HOL/Tools/numeral_syntax.ML Sat Feb 13 23:24:57 2010 +0100 @@ -9,7 +9,7 @@ val setup: theory -> theory end; -structure NumeralSyntax: NUMERAL_SYNTAX = +structure Numeral_Syntax: NUMERAL_SYNTAX = struct (* parse translation *)