setup Blast.setup;
setup Clasimp.setup;

--- a/src/HOL/Ord.thy	Tue Nov 24 12:00:05 1998 +0100
+++ b/src/HOL/Ord.thy	Tue Nov 24 12:03:09 1998 +0100
@@ -9,8 +9,11 @@
 Ord = HOL +
 
 (*FIXME move to HOL.thy*)
+setup attrib_setup
 setup Classical.setup
-setup attrib_setup
+setup Blast.setup
+setup Clasimp.setup
+
 
 axclass
   ord < term