| Thu, 27 Jun 2024 16:52:17 +0000 | haftmann | dropped dubious dest rule which always unfolds a definition in the assumptions | file | diff | annotate |
| Thu, 09 Nov 2023 15:11:52 +0000 | haftmann | slightly less technical formulation of very specific type class | file | diff | annotate |
| Thu, 09 Nov 2023 15:11:51 +0000 | haftmann | explicit type class for discrete linordered semidoms | file | diff | annotate |
| Sat, 16 Sep 2023 06:38:44 +0000 | haftmann | reduced prominence of lemma names | file | diff | annotate |
| Sat, 16 Sep 2023 06:38:44 +0000 | haftmann | new formulation of an auxiliary lemma | file | diff | annotate |
| Sat, 01 Oct 2022 07:56:53 +0000 | haftmann | reduce prominence of facts | file | diff | annotate |