src/Pure/pure.ML

--- a/src/Pure/pure.ML	Sun Oct 14 20:08:11 2001 +0200
+++ b/src/Pure/pure.ML	Sun Oct 14 20:08:26 2001 +0200
@@ -9,6 +9,7 @@
   val common_setup =
     Locale.setup @
     HTML.setup @
+    ObjectLogic.setup @
     ProofContext.setup @
     Attrib.setup @
     InductAttrib.setup @