src/HOL/Orderings.thy
changeset 30929 d9343c0aac11
parent 30806 342c73345237
child 31998 2c7a24f74db9
--- a/src/HOL/Orderings.thy	Wed Apr 15 15:38:30 2009 +0200
+++ b/src/HOL/Orderings.thy	Wed Apr 15 15:52:37 2009 +0200
@@ -5,7 +5,7 @@
 header {* Abstract orderings *}
 
 theory Orderings
-imports Code_Setup
+imports HOL
 uses "~~/src/Provers/order.ML"
 begin