Thu, 10 Aug 2000 11:30:39 +0200 | paulson | tidied | changeset | files |
Thu, 10 Aug 2000 11:30:22 +0200 | paulson | new structure field "add" for CombineNumerals | changeset | files |
Thu, 10 Aug 2000 11:27:34 +0200 | paulson | installation of cancellation simprocs for the integers | changeset | files |
Thu, 10 Aug 2000 00:45:23 +0200 | wenzelm | X-Symbol mode -- look in canonical place; | changeset | files |
Wed, 09 Aug 2000 21:14:07 +0200 | wenzelm | fixed spelling; | changeset | files |
Wed, 09 Aug 2000 21:13:42 +0200 | wenzelm | added Bauer-Wenzel:2000:HB; | changeset | files |