Thu, 16 Oct 2014 19:26:27 +0200 | haftmann | standard elimination rule for even | changeset | files |
Thu, 16 Oct 2014 19:26:26 +0200 | haftmann | tuned facts on even and power | changeset | files |
Thu, 16 Oct 2014 19:26:14 +0200 | haftmann | restructured | changeset | files |