Wed, 03 Feb 2010 14:36:48 +0100 | Christian Urban | merged | changeset | files |
Wed, 03 Feb 2010 14:36:22 +0100 | Christian Urban | proved that bv for lists respects alpha for terms | changeset | files |
Wed, 03 Feb 2010 14:28:00 +0100 | Cezary Kaliszyk | Finished remains on the let proof. | changeset | files |
Wed, 03 Feb 2010 14:22:25 +0100 | Cezary Kaliszyk | merge | changeset | files |
Wed, 03 Feb 2010 14:19:53 +0100 | Cezary Kaliszyk | Lets are ok. | changeset | files |
Wed, 03 Feb 2010 14:15:07 +0100 | Christian Urban | merged | changeset | files |
Wed, 03 Feb 2010 14:12:50 +0100 | Christian Urban | added type-scheme example | changeset | files |