Mon, 08 Jan 2001 11:06:24 +0100 | paulson | additional pattern allows reduction of fractions to lowest terms | changeset | files |
Mon, 08 Jan 2001 10:33:51 +0100 | nipkow | *** empty log message *** | changeset | files |
Sun, 07 Jan 2001 22:39:28 +0100 | wenzelm | updated; | changeset | files |