src/HOL/Integ/IntDef.thy
changeset 15300 7dd5853a4812
parent 15251 bb6f072c8d10
child 15409 a063687d24eb
     1.1 --- a/src/HOL/Integ/IntDef.thy	Fri Nov 19 15:05:10 2004 +0100
     1.2 +++ b/src/HOL/Integ/IntDef.thy	Fri Nov 19 17:31:49 2004 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  header{*The Integers as Equivalence Classes over Pairs of Natural Numbers*}
     1.5  
     1.6  theory IntDef
     1.7 -imports Equiv NatArith
     1.8 +imports Equiv_Relations NatArith
     1.9  begin
    1.10  
    1.11  constdefs