| Thu, 16 Oct 1997 15:33:06 +0200 | wenzelm | global; | changeset | files |
| Thu, 16 Oct 1997 15:31:12 +0200 | nipkow | Modified comment. | changeset | files |
| Thu, 16 Oct 1997 15:23:53 +0200 | paulson | New simprules imp_disj1, imp_disj2 | changeset | files |
| Thu, 16 Oct 1997 15:23:25 +0200 | paulson | New simprule diff_le_self, requiring a new proof of diff_diff_cancel | changeset | files |
| Thu, 16 Oct 1997 15:09:08 +0200 | nipkow | Removed comment. | changeset | files |
| Thu, 16 Oct 1997 14:52:35 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 16 Oct 1997 14:48:10 +0200 | wenzelm | removed begin; | changeset | files |