Sun, 04 Feb 2001 19:31:13 +0100 | wenzelm | HOL-NumberTheory: converted to new-style format and proper document setup; | 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 |