| Wed, 21 Dec 2011 15:47:42 +0900 | Cezary Kaliszyk | SFT/LambdaTerms: rename 'var' to 'name' to match Lambda. | file | diff | annotate |
| Wed, 21 Dec 2011 15:43:58 +0900 | Cezary Kaliszyk | SFT: Rename Lambda to LambdaTerms, rename constants to match Lambda, remove smt proofs. | file | diff | annotate | base |