src/HOL/Main.thy

--- a/src/HOL/Main.thy	Thu Nov 21 21:33:34 2013 +0100
+++ b/src/HOL/Main.thy	Thu Nov 21 21:33:34 2013 +0100
@@ -1,7 +1,7 @@
 header {* Main HOL *}
 
 theory Main
-imports Predicate_Compile Nitpick Extraction Lifting_Sum List_Prefix Coinduction
+imports Predicate_Compile Nitpick Extraction Lifting_Sum List_Prefix Coinduction Order_Relation
 begin
 
 text {*