| Thu, 11 Mar 2010 10:10:23 +0100 | Cezary Kaliszyk | Export tactic out of alpha_eqvt. | file | diff | annotate |
| 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 |