| Sun, 04 Feb 2001 19:31:13 +0100 | wenzelm | HOL-NumberTheory: converted to new-style format and proper document setup; | file | diff | annotate |
| Tue, 03 Oct 2000 22:37:16 +0200 | wenzelm | tuned deps; | file | diff | annotate |
| Wed, 13 Sep 2000 18:46:09 +0200 | paulson | zgcd now works for negative integers | 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 |