# HG changeset patch
# User wenzelm
# Date 911211179 -3600
# Node ID d3ecef6b5682d03f1aafad5da10e0a44a8f71678
# Parent  d8e51792ca856c1504b8a919f8b95259fd012646
Classical.setup, attrib_setup;

diff -r d8e51792ca85 -r d3ecef6b5682 src/HOL/Ord.thy
--- a/src/HOL/Ord.thy	Mon Nov 16 11:11:58 1998 +0100
+++ b/src/HOL/Ord.thy	Mon Nov 16 11:12:59 1998 +0100
@@ -8,6 +8,10 @@
 
 Ord = HOL +
 
+(*FIXME move to HOL.thy*)
+setup Classical.setup
+setup attrib_setup
+
 axclass
   ord < term