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 |
Loading... |