| Fri, 01 Jul 2005 13:51:11 +0200 | berghofe | Added strong_setsum_cong and strong_setprod_cong. | file | diff | annotate |
| Thu, 23 Jun 2005 19:40:03 +0200 | nipkow | fixed \<Prod> syntax | file | diff | annotate |
| Mon, 25 Apr 2005 17:58:41 +0200 | ballarin | Subsumption of locale interpretations. | file | diff | annotate |
| Thu, 21 Apr 2005 17:22:17 +0200 | nipkow | tuning locales | file | diff | annotate |
| Wed, 20 Apr 2005 17:19:18 +0200 | nipkow | Used locale interpretations everywhere. | file | diff | annotate |
| Tue, 19 Apr 2005 11:40:23 +0200 | paulson | fixed presentation | file | diff | annotate |
| Mon, 18 Apr 2005 15:53:51 +0200 | ballarin | Cleaned up, now uses interpretation. | file | diff | annotate |