Tue, 13 Jul 1999 10:44:45 +0200 | paulson | renamed inj_nat to inj_int | changeset | files |
Tue, 13 Jul 1999 10:44:13 +0200 | paulson | new monotonicity theorems | changeset | files |
Tue, 13 Jul 1999 10:43:31 +0200 | paulson | new theorem zmult_eq_0_iff | changeset | files |