| Tue, 23 Feb 2010 18:27:32 +0100 | Cezary Kaliszyk | rsp for bv; the only issue is that it requires an appropriate induction principle. | file | diff | annotate |
| Tue, 23 Feb 2010 16:12:30 +0100 | Cezary Kaliszyk | rsp infrastructure. | file | diff | annotate |
| Tue, 23 Feb 2010 14:19:44 +0100 | Cezary Kaliszyk | Progress towards automatic rsp of constants and fv. | file | diff | annotate |
| Tue, 23 Feb 2010 12:49:45 +0100 | Cezary Kaliszyk | Looking at proving the rsp rules automatically. | file | diff | annotate |