description | Jian / Xingyuan / Christian |
owner | christian dot urban at kcl ac uk |
last change | Thu, 22 Feb 2024 14:06:37 +0000 (12 months ago) |
12 months ago | Christian Urban | test | changeset | files |
12 months ago | Christian Urban | test | changeset | files |
2019-01-11 | Christian Urban | added some text at the beginning | changeset | files |
2019-01-10 | Christian Urban | updated to Isabelle 2018 | changeset | files |
2019-01-10 | Christian Urban | updated to Isabelle 2017 | changeset | files |
2019-01-10 | Christian Urban | updated to Isabelle 2016-1 | changeset | files |
2019-01-10 | Christian Urban | upodated to Isabelle 2016 | changeset | files |
2019-01-07 | Sebastiaan Joosten | Added myself to the comments at the start of all files | changeset | files |
2018-12-21 | Sebastiaan Joosten | More naming of lemmas, cleanup of Abacus and NatBijection | changeset | files |
2018-12-21 | Sebastiaan Joosten | Gave lemmas names in Abacus.ty | changeset | files |
... |
... |
... |
12 months ago | default | changeset | changelog | files |
... |