Tue, 09 May 1995 10:42:23 +0200 | clasohm | added \CHOL | changeset | files |
Thu, 04 May 1995 14:57:06 +0200 | lcp | Calls 'rail' program for syntax diagrams | changeset | files |
Thu, 04 May 1995 02:02:54 +0200 | lcp | Changed some definitions and proofs to use pattern-matching. | changeset | files |
Thu, 04 May 1995 02:02:18 +0200 | lcp | Changed to use split instead of fsplit. The weakening of fsplitE appears not | changeset | files |
Thu, 04 May 1995 02:01:49 +0200 | lcp | case is defined using pattern-matching | changeset | files |
Thu, 04 May 1995 02:01:24 +0200 | lcp | Modified proofs for new form of 'split'. | changeset | files |