src/Pure/Isar/local_theory.ML
changeset 33671 4b0f2599ed48
parent 33670 02b7738aef6a
child 33724 5ee13e0428d2
     1.1 --- a/src/Pure/Isar/local_theory.ML	Fri Nov 13 20:41:29 2009 +0100
     1.2 +++ b/src/Pure/Isar/local_theory.ML	Fri Nov 13 21:11:15 2009 +0100
     1.3 @@ -51,7 +51,7 @@
     1.4    val exit_result_global: (morphism -> 'a -> 'b) -> 'a * local_theory -> 'b * theory
     1.5  end;
     1.6  
     1.7 -structure LocalTheory: LOCAL_THEORY =
     1.8 +structure Local_Theory: LOCAL_THEORY =
     1.9  struct
    1.10  
    1.11  (** local theory data **)