| Thu, 24 May 2012 10:17:32 +0200 | Cezary Kaliszyk | Synchronize Nominal2_Base_Exec with Nominal2_Base, equivariance for Let, avoid overloading approx twice and changes for new isabelle | file | diff | annotate |
| 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 |
| Fri, 24 Jun 2011 11:18:18 +0900 | Cezary Kaliszyk | Make examples work with non-precompiled image | file | diff | annotate |
| Fri, 24 Jun 2011 10:54:31 +0900 | Cezary Kaliszyk | More usual names for substitution properties | file | diff | annotate |
| Fri, 24 Jun 2011 10:30:06 +0900 | Cezary Kaliszyk | Second Fixed Point Theorem | file | diff | annotate |