| Fri, 23 Sep 2005 22:21:49 +0200 | wenzelm | Provers/cancel_sums.ML: Simplifier.inherit_bounds; | file | diff | annotate |
| Wed, 24 Mar 2004 10:50:29 +0100 | paulson | streamlined treatment of quotients for the integers | file | diff | annotate |
| Sun, 15 Feb 2004 10:46:37 +0100 | paulson | Polymorphic treatment of binary arithmetic using axclasses | file | diff | annotate |
| Fri, 23 Aug 2002 07:41:05 +0200 | nipkow | Added div+mod cancelling simproc | file | diff | annotate |