| Fri, 10 Oct 2008 06:45:53 +0200 | haftmann | `code func` now just `code` | file | diff | annotate |
| Tue, 02 Sep 2008 21:31:28 +0200 | nipkow | Streamlined parts of Complex/ex/DenumRat and AFP/Integration/Rats and | file | diff | annotate |
| Wed, 02 Jul 2008 07:11:57 +0200 | haftmann | cleaned up some code generator configuration | file | diff | annotate |
| Tue, 23 Oct 2007 23:27:23 +0200 | nipkow | went back to >0 | file | diff | annotate |
| Sun, 21 Oct 2007 22:33:35 +0200 | nipkow | More changes from >0 to ~=0::nat | file | diff | annotate |
| Mon, 20 Aug 2007 19:52:52 +0200 | huffman | remove int_of_nat | 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 |