| Thu, 11 Nov 1999 10:25:17 +0100 | paulson | new-style infix declaration for "image" | changeset | files |
| Thu, 11 Nov 1999 10:24:14 +0100 | paulson | Fixed obsolete use of "op ^^"; new lemma | changeset | files |
| Sat, 06 Nov 1999 15:34:12 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 05 Nov 1999 16:41:56 +0100 | paulson | tidied | changeset | files |
| Fri, 05 Nov 1999 12:47:29 +0100 | paulson | new psubset lemma | changeset | files |
| Fri, 05 Nov 1999 12:47:15 +0100 | paulson | added foldr | changeset | files |
| Fri, 05 Nov 1999 12:45:37 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | changeset | files |