| Tue, 03 Nov 2009 16:17:19 +0100 | Cezary Kaliszyk | Automatic FORALL_PRS. 'list.induct' lifts automatically. Faster ALLEX_RSP | file | diff | annotate |
| Mon, 02 Nov 2009 15:38:03 +0100 | Cezary Kaliszyk | Fixes after optimization and preparing for a general FORALL_PRS | file | diff | annotate |