changeset 55979 | 0cb8a2defb06 |
parent 55599 | 97a8ff4e4ac9 |
child 56427 | 0e8e4dc55866 |
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