Sun, 27 Dec 2020 13:49:03 +0100 | wenzelm | updated for release; | changeset | files |
Sun, 27 Dec 2020 13:16:30 +0100 | wenzelm | tuned (see also b5333fc056da); | changeset | files |
Fri, 25 Dec 2020 15:37:27 +0000 | paulson | A few more simprules for iff-reasoning | changeset | files |