src/Pure/Isar/local_theory.ML
changeset 33519 e31a85f92ce9
parent 33456 fbd47f9b9b12
child 33670 02b7738aef6a
     1.1 --- a/src/Pure/Isar/local_theory.ML	Sun Nov 08 16:28:18 2009 +0100
     1.2 +++ b/src/Pure/Isar/local_theory.ML	Sun Nov 08 16:30:41 2009 +0100
     1.3 @@ -85,7 +85,7 @@
     1.4  
     1.5  (* context data *)
     1.6  
     1.7 -structure Data = ProofDataFun
     1.8 +structure Data = Proof_Data
     1.9  (
    1.10    type T = lthy option;
    1.11    fun init _ = NONE;