Sat, 23 Dec 1995 12:50:53 +0100 | nipkow | New version of type sections and many small changes. | changeset | files |
Fri, 22 Dec 1995 13:38:57 +0100 | paulson | Note that unfold is not exported, that mutual_induct can | changeset | files |
Fri, 22 Dec 1995 13:33:40 +0100 | paulson | Added line breaks and other cosmetic changes | changeset | files |