| 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 |