2009-10-28 | Christian Urban | merged | file | diff | annotate |
2009-10-28 | Christian Urban | added infrastructure for defining lifted constants | file | diff | annotate |
2009-10-28 | Cezary Kaliszyk | First experiments with Lambda | file | diff | annotate |
2009-10-27 | Christian Urban | added equiv-thm to the quot_info | file | diff | annotate |
2009-10-27 | Christian Urban | added an example about lambda-terms | file | diff | annotate |