hol_setup, simpdata_setup;

--- a/src/HOL/Ord.thy	Tue Apr 27 10:44:17 1999 +0200
+++ b/src/HOL/Ord.thy	Tue Apr 27 10:44:42 1999 +0200
@@ -9,10 +9,11 @@
 Ord = HOL +
 
 (*FIXME move to HOL.thy*)
-setup attrib_setup
+setup hol_setup
 setup Classical.setup
 setup Blast.setup
 setup Clasimp.setup
+setup simpdata_setup
 
 
 axclass