2010-03-03 | Cezary Kaliszyk | Code for solving symp goals with multiple existentials. | file | diff | annotate |
2010-03-03 | Cezary Kaliszyk | Fix eqvt for multiple quantifiers. | file | diff | annotate |
2010-03-02 | Cezary Kaliszyk | Include the raw eqvt lemmas. | file | diff | annotate |
2010-03-02 | Cezary Kaliszyk | Moving wrappers out of Lift. | file | diff | annotate |
2010-03-02 | Cezary Kaliszyk | More fixes for new alpha, the whole lift script should now work again. | file | diff | annotate |
2010-03-02 | Cezary Kaliszyk | Fixed eqvt code. | file | diff | annotate |
2010-02-26 | Cezary Kaliszyk | Change in signature of prove_const_rsp for general lifting. | file | diff | annotate |
2010-02-25 | Cezary Kaliszyk | Move the eqvt code out of Terms and fixed induction for single-rule examples. | file | diff | annotate |
2010-02-25 | Christian Urban | moved Nominal to "toplevel" | file | diff | annotate | base |