src/Pure/Isar/local_syntax.ML
changeset 33387 acea2f336721
parent 32738 15bb09ca0378
child 35412 b8dead547d9e
     1.1 --- a/src/Pure/Isar/local_syntax.ML	Mon Nov 02 20:45:23 2009 +0100
     1.2 +++ b/src/Pure/Isar/local_syntax.ML	Mon Nov 02 20:48:08 2009 +0100
     1.3 @@ -21,7 +21,7 @@
     1.4    val extern_term: T -> term -> term
     1.5  end;
     1.6  
     1.7 -structure LocalSyntax: LOCAL_SYNTAX =
     1.8 +structure Local_Syntax: LOCAL_SYNTAX =
     1.9  struct
    1.10  
    1.11  (* datatype T *)