| Thu, 28 Dec 1995 11:59:40 +0100 | paulson | Removed unfold:thm from signature INTR_ELIM and from the | changeset | files |
| Thu, 28 Dec 1995 11:59:15 +0100 | paulson | Now mutual_induct is simply "True" unless it is going to be | changeset | files |
| Thu, 28 Dec 1995 11:54:15 +0100 | paulson | fixed indentation | changeset | files |