2011-05-30 | Christian Urban | functions involving if and case do not throw exceptions anymore; but eqvt_at assumption has now a precondition | changeset | files |
2011-05-26 | Christian Urban | updated to new Isabelle | changeset | files |
2011-05-25 | Christian Urban | added eq_iff and distinct lemmas of nominal datatypes to the simplifier | changeset | files |
2011-05-24 | Christian Urban | more on slides | changeset | files |
2011-05-22 | Christian Urban | added slides for copenhagen | changeset | files |
2011-05-14 | Christian Urban | added a problem with inductive_cases (reported by Randy) | changeset | files |
Loading... |