| Fri, 02 Mar 2007 15:43:21 +0100 | haftmann | now using "class" | file | diff | annotate |
| Wed, 22 Nov 2006 10:20:16 +0100 | haftmann | cleanup | file | diff | annotate |
| Sat, 18 Nov 2006 00:20:20 +0100 | haftmann | moved dvd stuff to theory Divides | file | diff | annotate |
| Tue, 07 Nov 2006 09:33:47 +0100 | krauss | * Added annihilation axioms ("x * 0 = 0") to axclass semiring_0. | file | diff | annotate |
| Fri, 26 Aug 2005 10:01:06 +0200 | ballarin | Lemmas on dvd, power and finite summation added or strengthened. | file | diff | annotate |
| Wed, 13 Jul 2005 15:06:20 +0200 | paulson | generlization of some "nat" theorems | file | diff | annotate |
| Tue, 12 Jul 2005 17:56:03 +0200 | avigad | added lemmas to OrderedGroup.thy (reasoning about signs, absolute value, triangle inequalities) | file | diff | annotate |