1.1 --- a/src/HOL/Set_Interval.thy	Thu Nov 28 12:04:37 2013 +0100
     1.2 +++ b/src/HOL/Set_Interval.thy	Thu Nov 28 13:58:11 2013 +0100
     1.3 @@ -14,7 +14,7 @@
     1.4  header {* Set intervals *}
     1.5  
     1.6  theory Set_Interval
     1.7 -imports Int Nat_Transfer
     1.8 +imports Nat_Transfer
     1.9  begin
    1.10  
    1.11  context ord