| Wed, 03 Mar 2010 17:47:29 +0100 | Cezary Kaliszyk | Code for solving symp goals with multiple existentials. | file | diff | annotate |
| Wed, 03 Mar 2010 14:22:58 +0100 | Cezary Kaliszyk | Fix eqvt for multiple quantifiers. | file | diff | annotate |
| Tue, 02 Mar 2010 17:11:19 +0100 | Cezary Kaliszyk | Include the raw eqvt lemmas. | file | diff | annotate |
| Tue, 02 Mar 2010 15:10:47 +0100 | Cezary Kaliszyk | Moving wrappers out of Lift. | file | diff | annotate |
| Tue, 02 Mar 2010 14:24:57 +0100 | Cezary Kaliszyk | More fixes for new alpha, the whole lift script should now work again. | file | diff | annotate |
| Tue, 02 Mar 2010 11:04:49 +0100 | Cezary Kaliszyk | Fixed eqvt code. | file | diff | annotate |
| Fri, 26 Feb 2010 15:10:55 +0100 | Cezary Kaliszyk | Change in signature of prove_const_rsp for general lifting. | file | diff | annotate |