src/Pure/Isar/local_syntax.ML

   val update_modesyntax: theory -> bool -> Syntax.mode ->
     (bool * (string * typ * mixfix)) list -> T -> T
   val extern_term: T -> term -> term
 end;
 
-structure LocalSyntax: LOCAL_SYNTAX =
+structure Local_Syntax: LOCAL_SYNTAX =
 struct
 
 (* datatype T *)
 
 type local_mixfix =