| Mon, 31 Aug 2009 14:09:42 +0200 | nipkow | tuned the simp rules for Int involving insert and intervals. | file | diff | annotate |
| Tue, 16 Dec 2008 21:10:53 +0100 | ballarin | More porting to new locales. | file | diff | annotate |
| Mon, 17 Nov 2008 17:00:55 +0100 | haftmann | tuned unfold_locales invocation | file | diff | annotate |
| Wed, 15 Oct 2008 16:06:59 +0200 | ballarin | Removed 'includes' (fixed). | file | diff | annotate |
| Wed, 15 Oct 2008 15:44:15 +0200 | ballarin | Removed 'includes'. | file | diff | annotate |
| Fri, 01 Aug 2008 18:10:52 +0200 | ballarin | Generalised polynomial lemmas from cring to ring. | file | diff | annotate |
| Wed, 30 Jul 2008 19:03:33 +0200 | ballarin | New locales for orders and lattices where the equivalence relation is not restricted to equality. | file | diff | annotate |
| Tue, 29 Jul 2008 16:19:49 +0200 | ballarin | New theory on divisibility. | file | diff | annotate |