| Sat, 18 Nov 2006 00:20:24 +0100 | haftmann | dvd_def now with object equality | file | diff | annotate |
| Sat, 08 Jul 2006 12:54:30 +0200 | wenzelm | simprocs: no theory argument -- use simpset context instead; | file | diff | annotate |
| 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 |