# HG changeset patch
# User blanchet
# Date 1385643491 -3600
# Node ID 0cb8a2defb06f6b835d5418dcc26d3002e748f9b
# Parent  cfdaa57ba67a455f614bfbe4c6894131b5bd9c77
cleaned up indirect dependency

diff -r cfdaa57ba67a -r 0cb8a2defb06 src/HOL/Set_Interval.thy
--- 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