Thu, 14 Dec 1995 12:49:32 +0100 | paulson | Added Pelletier's problem 62, as corrected in AAR | changeset | files |
Wed, 13 Dec 1995 14:14:06 +0100 | clasohm | renamed parents_of to parents_of_name to avoid name clash with function | changeset | files |
Mon, 11 Dec 1995 11:24:51 +0100 | nipkow | layout | changeset | files |