| Wed, 10 May 2000 13:36:27 +0200 | paulson | new default simprule for better compatibility with old setup | file | diff | annotate |
| Fri, 05 May 2000 17:49:54 +0200 | paulson | simprocs now simplify the RHS of their result | file | diff | annotate |
| Thu, 04 May 2000 12:29:00 +0200 | paulson | further tidying of integer simprocs | file | diff | annotate |
| Wed, 03 May 2000 18:33:28 +0200 | paulson | Installation of CombineNumerals for the integers | file | diff | annotate |
| Tue, 02 May 2000 18:42:48 +0200 | paulson | now with combine_numerals | file | diff | annotate |
| Sun, 23 Apr 2000 11:35:00 +0200 | paulson | bug fixes to new simprocs | file | diff | annotate |
| Fri, 21 Apr 2000 11:29:57 +0200 | paulson | new file containing simproc invocations, from NatBin.ML | file | diff | annotate |