
diff -r 252c7fec4119 -r 57c82e01022b src/HOL/Set_Interval.thy
--- 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




