src/Pure/Isar/class_target.ML
changeset 33519 e31a85f92ce9
parent 33173 b8ca12f6681a
child 33522 737589bb9bb8
     1.1 --- a/src/Pure/Isar/class_target.ML	Sun Nov 08 16:28:18 2009 +0100
     1.2 +++ b/src/Pure/Isar/class_target.ML	Sun Nov 08 16:30:41 2009 +0100
     1.3 @@ -398,7 +398,7 @@
     1.4      (*(instantiation parameter, type constructor), (local instantiation parameter, typ)*)
     1.5  }
     1.6  
     1.7 -structure Instantiation = ProofDataFun
     1.8 +structure Instantiation = Proof_Data
     1.9  (
    1.10    type T = instantiation
    1.11    fun init _ = Instantiation { arities = ([], [], []), params = [] };