| changeset 21243 | afffe1f72143 |
| parent 21238 | c46bc715bdfd |
| child 21404 | eb85850d3eb7 |
--- a/src/HOL/Integ/IntDef.thy Wed Nov 08 11:23:09 2006 +0100 +++ b/src/HOL/Integ/IntDef.thy Wed Nov 08 13:48:29 2006 +0100 @@ -8,7 +8,7 @@ header{*The Integers as Equivalence Classes over Pairs of Natural Numbers*} theory IntDef -imports Equiv_Relations NatArith +imports Equiv_Relations Nat begin constdefs