src/HOL/Ord.thy
changeset 5889 d3ecef6b5682
parent 4640 ac6cf9f18653
child 5953 d6017ce6b93e
--- 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