| Wed, 01 Apr 2009 16:03:00 +0200 | nipkow | added strong_setprod_cong[cong] (in analogy with setsum) | file | diff | annotate |
| Sat, 21 Feb 2009 09:58:26 +0100 | nipkow | removed redundant thms | file | diff | annotate |
| Mon, 14 Jul 2008 11:04:42 +0200 | haftmann | unified curried gcd, lcm, zgcd, zlcm | file | diff | annotate |
| Sat, 15 Mar 2008 22:07:29 +0100 | wenzelm | avoid unclear fact references; | file | diff | annotate |
| Wed, 07 Feb 2007 17:51:38 +0100 | berghofe | Adapted to changes in Finite_Set theory. | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Fri, 10 Nov 2006 10:42:28 +0100 | wenzelm | tuned; | file | diff | annotate |