| Fri, 27 Aug 1999 15:52:32 +0200 | paulson | tidied | changeset | files |
| Fri, 27 Aug 1999 15:46:58 +0200 | paulson | use of bij, new theorems, etc. | changeset | files |
| Fri, 27 Aug 1999 15:44:27 +0200 | paulson | the bij predicate forced renaming of a variable bij | changeset | files |
| Fri, 27 Aug 1999 15:43:53 +0200 | paulson | tidied, allowing pattern-matching in defs of prat_add and prat_mult | changeset | files |
| Fri, 27 Aug 1999 15:42:10 +0200 | paulson | tidied, allowing pattern-matching in defs of zadd and zmult | changeset | files |
| Fri, 27 Aug 1999 15:41:11 +0200 | paulson | the bij predicate (at last) | changeset | files |
| Fri, 27 Aug 1999 10:54:31 +0200 | wenzelm | better timing information; | changeset | files |