--- 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