Thu, 13 Jan 2000 17:34:59 +0100 | paulson | added recursor | changeset | files |
Thu, 13 Jan 2000 17:34:39 +0100 | paulson | change in add_thmss to suppress warning | changeset | files |
Thu, 13 Jan 2000 17:31:30 +0100 | paulson | a bit of tidying | changeset | files |