| Fri, 24 Jun 2011 11:14:58 +0900 | Cezary Kaliszyk | The examples in Lambda_add can be defined by nominal_function directly | file | diff | annotate |
| Wed, 06 Apr 2011 13:47:08 +0100 | Christian Urban | changed default preprocessor that does not catch variables only occuring on the right | file | diff | annotate |
| Wed, 02 Mar 2011 16:07:56 +0900 | Cezary Kaliszyk | distinct names at toplevel | file | diff | annotate |
| Wed, 02 Mar 2011 12:48:00 +0900 | Cezary Kaliszyk | Pairing function | file | diff | annotate |
| Thu, 17 Feb 2011 12:01:08 +0900 | Cezary Kaliszyk | Finished the proof of a function that invents fresh variable names. | file | diff | annotate |