| 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 |