Mon, 10 May 2021 16:14:34 +0200 | wenzelm | tuned proofs --- avoid z3, which is absent on arm64-linux; | file | diff | annotate |
Thu, 26 Nov 2020 19:27:28 +0100 | nipkow | tuned | file | diff | annotate |
Thu, 12 Nov 2020 12:44:17 +0100 | nipkow | tuned | file | diff | annotate |