| Mon, 30 Sep 2002 16:14:02 +0200 | berghofe | Adapted to new simplifier. | file | diff | annotate |
| Fri, 23 Aug 2002 07:41:05 +0200 | nipkow | Added div+mod cancelling simproc | file | diff | annotate |
| Fri, 17 May 2002 08:53:40 +0200 | nipkow | Used to be Divides.ML | file | diff | annotate |