| Wed, 07 Aug 2024 12:39:09 +0100 | paulson | Rearranged a couple of theorems | file | diff | annotate |
| Thu, 06 Jun 2024 23:19:59 +0200 | wenzelm | tuned proof: avoid smt/z3 to make this work with arm64-linux; | file | diff | annotate |
| Mon, 13 May 2024 22:42:40 +0100 | paulson | More binomial material | file | diff | annotate |