Mon, 21 Feb 2011 23:14:36 +0100 | krauss | strengthened polymul.induct | changeset | files |
Mon, 21 Feb 2011 23:14:36 +0100 | krauss | dropped stupid name | changeset | files |
Mon, 21 Feb 2011 23:14:36 +0100 | krauss | removed duplicate declarations | changeset | files |