| 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 |
| Sat, 02 Jul 2011 00:27:47 +0100 | Christian Urban | side-by-side tests of lets with single assignment; deep-binder case works if the recursion is avoided using an auxiliary function | changeset | files |