| Wed, 07 Nov 2001 18:12:12 +0100 | paulson | Sidi Ehmety's port of the fold_set operator and multisets to ZF. | file | diff | annotate |
| Mon, 21 May 2001 14:52:27 +0200 | paulson | the rest of integer division | file | diff | annotate |
| Thu, 21 Dec 2000 10:40:08 +0100 | paulson | re-orientation of integer literals | file | diff | annotate |
| Fri, 18 Aug 2000 12:34:13 +0200 | paulson | better rules for cancellation of common factors across comparisons | file | diff | annotate |
| Fri, 11 Aug 2000 10:34:02 +0200 | paulson | interim working version: more improvements to the integers | file | diff | annotate |
| Thu, 10 Aug 2000 11:27:34 +0200 | paulson | installation of cancellation simprocs for the integers | file | diff | annotate |