| Mon, 19 May 2014 16:45:46 +0100 |
Christian Urban |
changed nominal_primrec to nominal_function and termination to nominal_termination
|
file |
diff |
annotate
|
| Mon, 19 May 2014 12:45:26 +0100 |
Christian Urban |
changed nominal_primrec into the more appropriate nominal_function
|
file |
diff |
annotate
|
| 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
|
| Sun, 24 Jul 2011 07:54:54 +0200 |
Cezary Kaliszyk |
update to 'termination (eqvt)'.
|
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:30:06 +0900 |
Cezary Kaliszyk |
Second Fixed Point Theorem
|
file |
diff |
annotate
|