| Mon, 06 Dec 1993 09:35:35 +0100 | nipkow | Typos and style | changeset | files |
| Fri, 03 Dec 1993 17:45:19 +0100 | lcp | Changed Acknowledgements | changeset | files |
| Fri, 03 Dec 1993 17:43:49 +0100 | lcp | Acknowledged Carsten Clasohm | changeset | files |
| Fri, 03 Dec 1993 12:47:45 +0100 | lcp | New distributive laws for Sigma and UN | changeset | files |
| Thu, 02 Dec 1993 12:49:03 +0100 | lcp | removal of amssymbols.sty and lcp.sty; addition of iman.sty | changeset | files |
| Wed, 01 Dec 1993 17:40:27 +0100 | lcp | ZF/ex/ROOT: changed many time_use calls to time_use_thy or else deleted | changeset | files |
| Wed, 01 Dec 1993 13:00:04 +0100 | lcp | minor corrections | changeset | files |
| Wed, 01 Dec 1993 12:48:47 +0100 | lcp | new references | changeset | files |