diff -r 7d4ec8992b23 -r d6017ce6b93e src/HOL/Ord.thy
--- 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