--- a/src/Pure/Tools/class_package.ML Thu Jan 19 15:45:10 2006 +0100
+++ b/src/Pure/Tools/class_package.ML Thu Jan 19 21:22:08 2006 +0100
@@ -39,7 +39,7 @@
struct
-(* data kind 'Pure/classes' *)
+(* theory data *)
type class_data = {
superclasses: class list,
@@ -87,6 +87,7 @@
end
);
+val _ = Context.add_setup ClassData.init;
val print_classes = ClassData.print;
val lookup_class_data = Symtab.lookup o fst o ClassData.get;
@@ -451,9 +452,4 @@
end; (* local *)
-
-(* setup *)
-
-val _ = Context.add_setup [ClassData.init];
-
end; (* struct *)