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 |