| 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 |
| Tue, 22 May 2012 14:55:58 +0200 | Cezary Kaliszyk | Executing Lambda Terms | file | diff | annotate |