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 |
2013-11-23 | Christian Urban |
added things --- in messy state | changeset | files |
2013-09-03 | Christian Urban |
soem changes | changeset | files |
2013-07-27 | Christian Urban |
updated | changeset | files |
2013-07-27 | Christian Urban |
started journal version | changeset | files |
2013-07-27 | Christian Urban |
updated | changeset | files |
2013-07-24 | Christian Urban |
slides | changeset | files |
2013-07-24 | Christian Urban |
slides | changeset | files |
2013-07-23 | Christian Urban |
slides | changeset | files |
2013-07-23 | Christian Urban |
slides | changeset | files |
Loading... |