2011-12-21 | Cezary Kaliszyk | SFT/LambdaTerms: rename 'var' to 'name' to match Lambda. | file | diff | annotate |
2011-12-21 | Cezary Kaliszyk | SFT: Rename Lambda to LambdaTerms, rename constants to match Lambda, remove smt proofs. | file | diff | annotate |
2011-06-24 | Cezary Kaliszyk | Make examples work with non-precompiled image | file | diff | annotate |
2011-06-24 | Cezary Kaliszyk | Second Fixed Point Theorem | file | diff | annotate |