| Tue, 21 Apr 1998 10:49:15 +0200 | paulson | expandshort; new gcd_induct with inbuilt case analysis | changeset | files |
| Tue, 21 Apr 1998 10:47:58 +0200 | paulson | Renamed mod_XXX_cancel to mod_XXX_self | changeset | files |
| Mon, 20 Apr 1998 10:38:30 +0200 | paulson | New laws for mod | changeset | files |
| Mon, 20 Apr 1998 10:37:00 +0200 | paulson | proving fib(gcd(m,n)) = gcd(fib m, fib n) | changeset | files |
| Sun, 19 Apr 1998 17:01:04 +0200 | wenzelm | fixed comment; | changeset | files |
| Fri, 10 Apr 1998 13:42:22 +0200 | paulson | Fixed bug in inductive sections to allow disjunctive premises; | changeset | files |