Tue, 13 Feb 2024 17:18:50 +0000 | paulson | A few lemmas brought in from AFP entries | changeset | files |
Wed, 14 Feb 2024 08:31:24 +0100 | traytel | merged | changeset | files |
Tue, 13 Feb 2024 14:31:09 +0100 | traytel | made destructor-view tactic more robust (by Jan van Brügge) | changeset | files |