Fri, 02 Feb 2001 11:42:36 +0100 | paulson | new theorem fib_mult_eq_setsum | file | diff | annotate |
Tue, 23 Jan 2001 15:48:35 +0100 | paulson | 2 to #2 | file | diff | annotate |
Wed, 13 Sep 2000 18:46:45 +0200 | paulson | moved Primes, Fib, Factorization from HOL/ex | file | diff | annotate |