| Thu, 17 Aug 2000 12:00:23 +0200 | paulson | tidied & updated proofs, deleting some unused ones | changeset | files |
| Thu, 17 Aug 2000 11:56:47 +0200 | paulson | modified proofs: better rules for cancellation of common factors across comparisons | changeset | files |
| Thu, 17 Aug 2000 11:55:47 +0200 | paulson | better rules for cancellation of common factors across comparisons | changeset | files |
| Thu, 17 Aug 2000 10:42:57 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Thu, 17 Aug 2000 10:40:31 +0200 | wenzelm | cases: opaque by default; | changeset | files |
| Thu, 17 Aug 2000 10:39:44 +0200 | wenzelm | renamed 'RS' to 'THEN'; | changeset | files |
| Thu, 17 Aug 2000 10:39:30 +0200 | wenzelm | tuned error handling; | changeset | files |