Mon, 31 Oct 1994 15:45:54 +0100 | lcp | ZF/OrderArith/thin: deleted as obsolete | changeset | files |
Mon, 31 Oct 1994 15:41:20 +0100 | lcp | added final newline | changeset | files |
Mon, 31 Oct 1994 15:35:43 +0100 | lcp | added header files; deleted commented-out code | changeset | files |
Fri, 28 Oct 1994 10:13:16 +0100 | nipkow | Prepared the code for preservation of bound var names during rewriting. Still | changeset | files |
Wed, 26 Oct 1994 17:41:40 +0100 | nipkow | removed superfluous type_intrs in datatype com. | changeset | files |
Wed, 26 Oct 1994 15:20:55 +0100 | nipkow | simplified syntax of infix continuous functiuons | changeset | files |