Wed, 10 Jun 2020 15:55:41 +0200 | blanchet | simplified 'smt_proofs' option to be a binary option (instead of ternary), now that SMT proofs are accepted in the AFP (done with Martin Desharnais) | changeset | files |
Tue, 09 Jun 2020 12:13:15 +0100 | paulson | New Ackermann development | changeset | files |
Mon, 08 Jun 2020 22:49:06 +0200 | wenzelm | tuned document; | changeset | files |