Wed, 13 Sep 2000 18:47:30 +0200 | paulson | more integer theorems, better simplification | changeset | files |
Wed, 13 Sep 2000 18:46:45 +0200 | paulson | moved Primes, Fib, Factorization from HOL/ex | changeset | files |
Wed, 13 Sep 2000 18:46:09 +0200 | paulson | zgcd now works for negative integers | changeset | files |