| Wed, 13 Oct 1999 19:39:19 +0200 | wenzelm | updated; | changeset | files |
| Wed, 13 Oct 1999 15:41:24 +0200 | berghofe | Eliminated mutual_induct_tac. | changeset | files |
| Wed, 13 Oct 1999 15:18:15 +0200 | berghofe | Eliminated mutual_induct_tac. | changeset | files |
| Wed, 13 Oct 1999 15:16:52 +0200 | berghofe | Eliminated mutual_induct_tac. | changeset | files |
| Wed, 13 Oct 1999 12:08:05 +0200 | paulson | more Collect laws | changeset | files |
| Wed, 13 Oct 1999 12:07:44 +0200 | paulson | deleted the redundant less_imp_binomial_eq_0 | changeset | files |
| Wed, 13 Oct 1999 12:07:23 +0200 | paulson | choose just as an infix | changeset | files |