| Fri, 29 Jun 2007 16:05:00 +0200 | haftmann | dropped local cg cmd | file | diff | annotate |
| Thu, 28 Jun 2007 19:09:38 +0200 | haftmann | new code generator framework | file | diff | annotate |
| Sat, 23 Jun 2007 19:33:22 +0200 | nipkow | tuned and renamed group_eq_simps and ring_eq_simps | file | diff | annotate |