src/Pure/axclass.ML
changeset 34259 2ba492b8b6e8
parent 34245 25bd3ed2ac9f
child 35021 c839a4c670c6
     1.1 --- a/src/Pure/axclass.ML	Mon Jan 04 22:43:07 2010 +0100
     1.2 +++ b/src/Pure/axclass.ML	Mon Jan 04 23:20:35 2010 +0100
     1.3 @@ -114,7 +114,7 @@
     1.4  
     1.5  (* setup data *)
     1.6  
     1.7 -structure AxClassData = TheoryDataFun
     1.8 +structure AxClassData = Theory_Data_PP
     1.9  (
    1.10    type T = axclasses * (instances * inst_params);
    1.11    val empty = ((Symtab.empty, []), (([], Symtab.empty), (Symtab.empty, Symtab.empty)));