| Fri, 08 Nov 2019 16:25:18 +0100 | wenzelm | more robust; | changeset | files |
| Fri, 08 Nov 2019 16:11:09 +0100 | wenzelm | tuned modules; | changeset | files |
| Fri, 08 Nov 2019 12:07:39 +0100 | wenzelm | tuned proofs -- more stable proof terms without [rule_format]; | changeset | files |
| 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 |
| Thu, 07 Nov 2019 15:30:48 +0100 | wenzelm | prefer named facts; | changeset | files |