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