src/Pure/Isar/theory_target.ML
changeset 33519 e31a85f92ce9
parent 33466 8f2e102f6628
child 33537 06c87d2c5b5a
     1.1 --- a/src/Pure/Isar/theory_target.ML	Sun Nov 08 16:28:18 2009 +0100
     1.2 +++ b/src/Pure/Isar/theory_target.ML	Sun Nov 08 16:30:41 2009 +0100
     1.3 @@ -34,7 +34,7 @@
     1.4  
     1.5  val global_target = make_target "" false false ([], [], []) [];
     1.6  
     1.7 -structure Data = ProofDataFun
     1.8 +structure Data = Proof_Data
     1.9  (
    1.10    type T = target;
    1.11    fun init _ = global_target;