| Mon, 04 Jul 2011 23:55:46 +0200 | Christian Urban | tuned | changeset | files |
| Mon, 04 Jul 2011 23:54:05 +0200 | Christian Urban | added an example that recurses over two arguments; the interesting proof-obligation is not yet done | changeset | files |
| Mon, 04 Jul 2011 14:47:21 +0900 | Cezary Kaliszyk | Let with a different invariant; not true. | changeset | files |
| Sun, 03 Jul 2011 21:04:46 +0900 | Cezary Kaliszyk | Add non-working Lambda_F_T using FCB2 | changeset | files |
| Sun, 03 Jul 2011 21:04:06 +0900 | Cezary Kaliszyk | Added non-working CPS3 using FCB2 | changeset | files |
| Sun, 03 Jul 2011 21:01:07 +0900 | Cezary Kaliszyk | Change CPS1 to FCB2 | changeset | files |
| Sat, 02 Jul 2011 12:40:59 +0900 | Cezary Kaliszyk | Did the proofs of height and subst for Let with list-like binders. Having apply_assns allows proving things by alpha_bn | changeset | files |