--- a/src/HOL/Orderings.thy Tue Jun 05 12:12:25 2007 +0200
+++ b/src/HOL/Orderings.thy Tue Jun 05 15:16:08 2007 +0200
@@ -6,7 +6,7 @@
header {* Syntactic and abstract orders *}
theory Orderings
-imports Code_Generator
+imports HOL
begin
subsection {* Order syntax *}