Thu, 06 May 2010 17:59:19 +0200 | haftmann | dropped duplicate comp_arith | changeset | files |
Thu, 06 May 2010 17:55:12 +0200 | haftmann | avoid open; tuned references to theorems | changeset | files |
Thu, 06 May 2010 17:55:11 +0200 | haftmann | avoid references to groebner bases in names which have no references to groebner bases | changeset | files |