| Wed, 27 Jan 2010 08:20:31 +0100 | Christian Urban | some slight tuning | changeset | files |
| Wed, 27 Jan 2010 07:49:43 +0100 | Christian Urban | added Terms to Nominal - Instantiation of two types does not work (ask Florian) | changeset | files |
| Wed, 27 Jan 2010 07:45:01 +0100 | Christian Urban | added another example with indirect recursion over lists | changeset | files |
| Tue, 26 Jan 2010 20:12:41 +0100 | Christian Urban | just moved obsolete material into Attic | changeset | files |
| Tue, 26 Jan 2010 20:07:50 +0100 | Christian Urban | added an LamEx example together with the new nominal infrastructure | changeset | files |
| Tue, 26 Jan 2010 16:30:51 +0100 | Cezary Kaliszyk | Bex1_Bexeq_regular. | changeset | files |
| Tue, 26 Jan 2010 15:59:04 +0100 | Cezary Kaliszyk | Hom Theorem with exists unique | changeset | files |