| Thu, 07 Oct 2004 15:42:30 +0200 | paulson | simplification tweaks for better arithmetic reasoning | file | diff | annotate |
| Tue, 05 Oct 2004 15:30:50 +0200 | paulson | new simprules for abs and for things like a/b<1 | file | diff | annotate |
| Fri, 01 Oct 2004 11:53:31 +0200 | paulson | tweaking of arithmetic proofs | file | diff | annotate |