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 |
2018-12-19 | Sebastiaan Joosten | Cleanup in UF | changeset | files |
2018-12-19 | Sebastiaan Joosten | Up to date for Isabelle 2018. Gave names to simp rules in UF and UTM | changeset | files |
2015-01-14 | Christian Urban |
updated | changeset | files |
2013-11-24 | Christian Urban |
added slides | changeset | files |
Loading... |