Fri, 28 Feb 1997 15:46:41 +0100 | paulson | rule_by_tactic no longer standardizes its result | changeset | files |
Fri, 28 Feb 1997 15:44:32 +0100 | paulson | Addition of de Bruijn formulae | changeset | files |
Thu, 27 Feb 1997 13:44:55 +0100 | wenzelm | tuned comment; | changeset | files |