Mon, 15 Oct 2007 15:29:41 +0200 | haftmann | prefer first constant component on merge | changeset | files |
Mon, 15 Oct 2007 15:29:39 +0200 | haftmann | explicit parameter for class finite | changeset | files |
Mon, 15 Oct 2007 12:25:33 +0200 | wenzelm | tuned comment; | changeset | files |