| 2006-11-17 | haftmann | dvd_def now with object equality | file | diff | annotate |
| 2006-07-08 | wenzelm | simprocs: no theory argument -- use simpset context instead; | file | diff | annotate |
| 2005-09-23 | wenzelm | Provers/cancel_sums.ML: Simplifier.inherit_bounds; | file | diff | annotate |
| 2004-03-24 | paulson | streamlined treatment of quotients for the integers | file | diff | annotate |
| 2004-02-15 | paulson | Polymorphic treatment of binary arithmetic using axclasses | file | diff | annotate |
| 2002-08-23 | nipkow | Added div+mod cancelling simproc | file | diff | annotate |