--- a/src/Pure/pure.ML Fri Jun 04 19:51:56 1999 +0200
+++ b/src/Pure/pure.ML Fri Jun 04 19:53:03 1999 +0200
@@ -11,8 +11,9 @@
Locale.setup @
HTML.setup @
ProofContext.setup @
+ Attrib.setup @
Method.setup @
- Attrib.setup @
+ Calculation.setup @
AxClass.setup @
BrowserInfo.setup @
Isamode.setup @