| 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 |
| Wed, 13 Sep 2000 18:45:10 +0200 | paulson | moved Primes, Fib, Factorization to HOL/NumberTheory | changeset | files |
| Tue, 12 Sep 2000 22:13:23 +0200 | wenzelm | renamed atts: rulify to rule_format, elimify to elim_format; | changeset | files |
| Tue, 12 Sep 2000 19:03:13 +0200 | nipkow | *** empty log message *** | changeset | files |
| Tue, 12 Sep 2000 17:39:29 +0200 | wenzelm | tuned handling of "intros"; | changeset | files |