| Mon, 09 Oct 2000 14:10:55 +0200 | nipkow | ex_someI -> someI_ex | file | diff | annotate |
| Wed, 13 Sep 2000 18:46:09 +0200 | paulson | zgcd now works for negative integers | file | diff | annotate |
| Thu, 10 Aug 2000 11:30:39 +0200 | paulson | tidied | file | diff | annotate |
| Thu, 03 Aug 2000 10:46:01 +0200 | paulson | Chinese Remainder Theorem, Wilsons Theorem, etc., by T M Masmussen | file | diff | annotate |