Wed, 19 Aug 1998 10:37:07 +0200 | paulson | new theorem zero_less_diff | changeset | files |
Wed, 19 Aug 1998 10:34:31 +0200 | paulson | Misc changes | changeset | files |
Wed, 19 Aug 1998 10:29:01 +0200 | paulson | Deleted obsolete declaration of PartE' | changeset | files |