2012-05-23 | Christian Urban | improved handling in the simplifier for inequalities derived from freshness assumptions | changeset | files |
2012-05-22 | Cezary Kaliszyk | Executing Lambda Terms | changeset | files |
2012-05-22 | Cezary Kaliszyk | Added workaround for broken quotient_type in tip isabelle. | changeset | files |
2012-05-12 | Christian Urban | further cleaning | changeset | files |
2012-05-12 | Christian Urban | cleaned also examples | changeset | files |
2012-05-12 | Christian Urban | cleaned the repository for Nominal2-Isabelle2012 | changeset | files |
Loading... |