| Sat, 28 Nov 2009 04:02:54 +0100 | Cezary Kaliszyk | Cleaned all lemmas about regularisation of Ball and Bex and moved in one place. Second Ball simprox. | file | diff | annotate |
| Fri, 27 Nov 2009 08:15:23 +0100 | Cezary Kaliszyk | Removing arguments of tactics: absrep, rel_refl, reps_same are computed. | file | diff | annotate |
| Thu, 26 Nov 2009 13:52:46 +0100 | Christian Urban | fixed QuotList | file | diff | annotate |
| Thu, 26 Nov 2009 13:46:00 +0100 | Christian Urban | changed left-res | file | diff | annotate |