Tue, 31 Oct 2017 07:11:03 +0000 | haftmann | removed ancient nat-int transfer | changeset | files |
Mon, 30 Oct 2017 19:29:06 +0000 | haftmann | added lemma | changeset | files |
Mon, 30 Oct 2017 21:52:31 +0100 | blanchet | added 'mlex_iff' lemma and simplified proof | changeset | files |