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 |
Sat, 23 Dec 1995 12:50:53 +0100 | nipkow | New version of type sections and many small changes. | changeset | files |