| Tue, 05 Jul 2011 09:28:16 +0900 | Cezary Kaliszyk | Define a version of aux only for same binders. Completeness is fine. | file | diff | annotate |
| Tue, 05 Jul 2011 09:26:20 +0900 | Cezary Kaliszyk | Move If / Let with 'True' to the end of Lambda | file | diff | annotate |