Thu, 26 Nov 2009 20:18:36 +0100 | Christian Urban | tuned comments | changeset | files |
Thu, 26 Nov 2009 19:51:31 +0100 | Christian Urban | some diagnostic code for r_mk_comb | changeset | files |
Thu, 26 Nov 2009 16:23:24 +0100 | Christian Urban | introduced a new property for Ball and ===> on the left | changeset | files |
Thu, 26 Nov 2009 13:52:46 +0100 | Christian Urban | fixed QuotList | changeset | files |
Thu, 26 Nov 2009 13:46:00 +0100 | Christian Urban | changed left-res | changeset | files |
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 |