| Wed, 03 Jun 2020 11:44:21 +0200 | nipkow | should have been copied across from Set.thy as well for better printing | changeset | files |
| Sat, 30 May 2020 11:48:35 +0000 | haftmann | specific atomization inert to later rule set modifications | changeset | files |
| Sat, 30 May 2020 11:48:28 +0000 | haftmann | more precise scope of atomize | changeset | files |