2018-12-19 | Sebastiaan Joosten | Up to date for Isabelle 2018. Gave names to simp rules in UF and UTM | file | diff | annotate |
2013-05-24 | Christian Urban |
completed the UF-simulation lemmas | file | diff | annotate |
2013-05-22 | Christian Urban |
moved new theries into a separate directory | file | diff | annotate | base |