2009-12-03 | Christian Urban | merged | file | diff | annotate |
2009-12-03 | Christian Urban | merged | file | diff | annotate |
2009-12-03 | Cezary Kaliszyk | Updated the examples | file | diff | annotate |
2009-12-03 | Christian Urban | merged | file | diff | annotate |
2009-12-03 | Christian Urban | deleted some dead code | file | diff | annotate |
2009-12-02 | Christian Urban | deleted now obsolete argument rty everywhere | file | diff | annotate |
2009-12-02 | Cezary Kaliszyk | More experiments with higher order quotients and theorems with non-lifted constants. | file | diff | annotate |