Classical.setup, attrib_setup;

--- 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