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