| 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 |
| Thu, 04 May 1995 02:00:38 +0200 | lcp | Added pattern-matching code from CHOL/Prod.thy. Changed | changeset | files |
| Wed, 03 May 1995 17:38:27 +0200 | lcp | Modified proofs for (q)split, fst, snd for new | changeset | files |