Mon, 15 Oct 2007 15:29:46 +0200 | haftmann | tuned | changeset | files |
Mon, 15 Oct 2007 15:29:45 +0200 | haftmann | swapped constant components | changeset | files |
Mon, 15 Oct 2007 15:29:43 +0200 | haftmann | canonical interpretation interface | changeset | files |
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 |
Mon, 15 Oct 2007 12:10:31 +0200 | wenzelm | more on authentic syntax; | changeset | files |