--- a/src/HOL/Set_Interval.thy Thu Nov 28 12:04:37 2013 +0100+++ b/src/HOL/Set_Interval.thy Thu Nov 28 13:58:11 2013 +0100@@ -14,7 +14,7 @@ header {* Set intervals *} theory Set_Interval-imports Int Nat_Transfer+imports Nat_Transfer begin context ord