--- a/src/Pure/pure.ML Wed Mar 17 13:30:09 1999 +0100
+++ b/src/Pure/pure.ML Wed Mar 17 13:30:24 1999 +0100
@@ -12,7 +12,8 @@
HTML.setup @
ProofContext.setup @
Method.setup @
- Attrib.setup;
+ Attrib.setup @
+ AxClass.setup;
in
structure Pure =
struct