| Fri, 27 Nov 2009 08:15:23 +0100 | Cezary Kaliszyk | Removing arguments of tactics: absrep, rel_refl, reps_same are computed. | file | diff | annotate |
| Fri, 27 Nov 2009 07:00:14 +0100 | Cezary Kaliszyk | Minor cleaning | file | diff | annotate |
| Thu, 26 Nov 2009 20:32:56 +0100 | Cezary Kaliszyk | Merge Again | file | diff | annotate |
| Thu, 26 Nov 2009 20:32:33 +0100 | Cezary Kaliszyk | Merged | file | diff | annotate |