# HG changeset patch
# User wenzelm
# Date 928607347 -7200
# Node ID 10b77354862bf03fe30b32a5cd85c6e5448ac099
# Parent  687ddcad858139ee00507ead0bc6071f11a2e509
removed ObjectLogic.setup;

diff -r 687ddcad8581 -r 10b77354862b src/Pure/pure.ML
--- a/src/Pure/pure.ML	Sat Jun 05 20:28:45 1999 +0200
+++ b/src/Pure/pure.ML	Sat Jun 05 20:29:07 1999 +0200
@@ -7,7 +7,6 @@
 
 local
   val common_setup =
-    ObjectLogic.setup @
     Locale.setup @
     HTML.setup @
     ProofContext.setup @