# HG changeset patch
# User wenzelm
# Date 1003082906 -7200
# Node ID 183435fd45f2fe21b196c3bd53761dbcc9600a2a
# Parent  8e906f051fbcfbdd6231ebb43515d0620f62e833
ObjectLogic.setup;

diff -r 8e906f051fbc -r 183435fd45f2 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 @