Wed, 30 Oct 1996 11:19:09 +0100 | paulson | Changed some mem calls to mem_string for greater efficiency (not that it could matter) | changeset | files |
Wed, 30 Oct 1996 11:17:54 +0100 | paulson | Minor updates | changeset | files |
Wed, 30 Oct 1996 11:15:09 +0100 | paulson | Updated references | changeset | files |
Mon, 28 Oct 1996 15:59:39 +0100 | paulson | Minor corrections | changeset | files |
Mon, 28 Oct 1996 15:36:18 +0100 | nipkow | Renamed and shuffled a few thms. | changeset | files |
Mon, 28 Oct 1996 13:02:37 +0100 | paulson | Simplified proofs | changeset | files |
Mon, 28 Oct 1996 13:01:25 +0100 | paulson | Tidied up a big mess in UN_parts_sees_Says | changeset | files |