| Thu, 13 Jul 2000 23:08:42 +0200 | wenzelm | fixed compose decl; | changeset | files |
| Thu, 13 Jul 2000 23:08:20 +0200 | wenzelm | defs: (overloaded) option; | changeset | files |
| Thu, 13 Jul 2000 23:07:56 +0200 | wenzelm | method cases/induct: (opaque) option; | changeset | files |
| Thu, 13 Jul 2000 23:07:10 +0200 | wenzelm | defs (overloaded); | changeset | files |
| Thu, 13 Jul 2000 13:05:58 +0200 | paulson | removed now-redundant proof steps | changeset | files |
| Thu, 13 Jul 2000 13:04:48 +0200 | paulson | added an important default rule | changeset | files |
| Thu, 13 Jul 2000 13:02:20 +0200 | paulson | fixed a failing proof | changeset | files |