Wed, 21 Oct 2020 17:46:51 +0200 | desharna | Tuned isar_proofs constructions | changeset | files |
Wed, 21 Oct 2020 17:31:15 +0200 | desharna | Tuned isar_proof datatype | changeset | files |
Thu, 12 Nov 2020 09:06:44 +0100 | haftmann | bundled syntax for state monad combinators | changeset | files |