Fri, 08 Nov 2019 16:07:31 +0000 | paulson | merged | changeset | files |
Fri, 08 Nov 2019 16:07:22 +0000 | paulson | A slight tidying up of messy proof steps | changeset | files |
Thu, 07 Nov 2019 16:03:26 +0100 | wenzelm | tuned declarations for more compact proof terms; | changeset | files |