--- a/src/HOL/Set_Interval.thy Mon Jan 20 22:24:48 2014 +0100
+++ b/src/HOL/Set_Interval.thy Mon Jan 20 23:07:23 2014 +0100
@@ -14,7 +14,7 @@
header {* Set intervals *}
theory Set_Interval
-imports Nat_Transfer
+imports Lattices_Big Nat_Transfer
begin
context ord