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:45 +0200 | paulson | moved Primes, Fib, Factorization from HOL/ex | file | diff | annotate |