| Fri, 09 Sep 2005 19:34:22 +0200 | huffman | starfun, starset, and other functions on NS types are now polymorphic; | file | diff | annotate |
| Wed, 27 Jul 2005 11:28:18 +0200 | paulson | removed the dependence on abs_mult | 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 |
| Tue, 28 Jun 2005 15:28:04 +0200 | paulson | stricter first-order check for meson | file | diff | annotate |
| Mon, 09 May 2005 16:38:56 +0200 | paulson | from simplesubst to new subst | file | diff | annotate |
| Mon, 21 Feb 2005 15:04:10 +0100 | nipkow | comprehensive cleanup, replacing sumr by setsum | file | diff | annotate |
| Fri, 18 Feb 2005 11:48:53 +0100 | nipkow | starting to get rid of sumr | file | diff | annotate |