| Wed, 19 Feb 2020 15:40:28 +0100 | wenzelm | proper file name (amending ce3409dfb18c); | changeset | files |
| Tue, 18 Feb 2020 18:08:11 +0100 | nipkow | merged | changeset | files |
| Tue, 18 Feb 2020 18:08:08 +0100 | nipkow | tuned proof | changeset | files |
| Tue, 18 Feb 2020 15:40:37 +0100 | wenzelm | more robust pretty printing of broken YXML, e.g. single "\^E"; | changeset | files |
| Mon, 17 Feb 2020 20:49:47 +0100 | wenzelm | merged | changeset | files |
| Mon, 17 Feb 2020 20:35:04 +0100 | wenzelm | proper sort constraints for strip_shyps, for sort relations used in minimization; | changeset | files |
| Mon, 17 Feb 2020 11:07:27 +0000 | paulson | merged | changeset | files |
| Mon, 17 Feb 2020 11:07:09 +0000 | paulson | a few new lemmas | changeset | files |
| Mon, 17 Feb 2020 11:17:09 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 16 Feb 2020 21:11:28 +0100 | nipkow | merged | changeset | files |
| Sun, 16 Feb 2020 18:01:03 +0100 | nipkow | lemmas about "card A = 2"; prefer iff to implications | changeset | files |
| Sun, 16 Feb 2020 20:07:28 +0100 | wenzelm | NEWS; | changeset | files |