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