Tue, 28 Jan 2020 14:59:54 +0000 | paulson | Tidied up some messy proofs | changeset | files |
Sun, 26 Jan 2020 20:35:32 +0000 | haftmann | sketches of ideas still to come | changeset | files |
Sun, 26 Jan 2020 20:35:32 +0000 | haftmann | more theorems | changeset | files |
Sun, 26 Jan 2020 20:35:31 +0000 | haftmann | generalized | changeset | files |
Sun, 26 Jan 2020 20:35:30 +0000 | haftmann | tuned | changeset | files |
Mon, 27 Jan 2020 14:58:17 +0000 | paulson | Two lemmas about nsets | changeset | files |
Mon, 27 Jan 2020 14:32:43 +0000 | paulson | A few lemmas connected with orderings | changeset | files |