| 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 |