--- a/src/HOL/Ord.thy Wed Aug 25 20:46:40 1999 +0200
+++ b/src/HOL/Ord.thy Wed Aug 25 20:49:02 1999 +0200
@@ -8,13 +8,6 @@
Ord = HOL +
-(*FIXME move to HOL.thy*)
-setup hol_setup
-setup Classical.setup
-setup Blast.setup
-setup Clasimp.setup
-setup simpdata_setup
-
axclass
ord < term