Thu, 26 Nov 2009 12:21:47 +0100 | Cezary Kaliszyk | Manually regularized akind_aty_atrm.induct | changeset | files |
Thu, 26 Nov 2009 10:52:24 +0100 | Cezary Kaliszyk | Playing with Monos in LFex. | changeset | files |
Thu, 26 Nov 2009 10:32:31 +0100 | Cezary Kaliszyk | Fixed FSet after merge. | changeset | files |
Thu, 26 Nov 2009 03:18:38 +0100 | Christian Urban | merged | changeset | files |
Thu, 26 Nov 2009 02:31:00 +0100 | Christian Urban | test with monos | changeset | files |
Wed, 25 Nov 2009 21:48:32 +0100 | Cezary Kaliszyk | applic_prs | changeset | files |
Wed, 25 Nov 2009 15:43:12 +0100 | Christian Urban | polishing | changeset | files |