Mon, 06 Dec 1993 10:55:48 +0100 | lcp | ZF/ord/Ord_Un,Ord_Int,Un_upper1_le,Un_upper2_le: new | changeset | files |
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 |