| Thu, 11 Jan 2001 11:35:39 +0100 | paulson | revisions corresponding to the new version of sets.tex | changeset | files |
| Wed, 10 Jan 2001 20:41:14 +0100 | nipkow | Added <cdot> syntax for continuous application $. | changeset | files |
| Wed, 10 Jan 2001 20:21:11 +0100 | wenzelm | isatool unsymbolize; | changeset | files |