| Thu, 25 Jun 2015 15:01:42 +0200 | haftmann | more theorems | changeset | files |
| Thu, 25 Jun 2015 15:01:41 +0200 | haftmann | generalized to definition from literature, which covers also polynomials | changeset | files |
| Thu, 25 Jun 2015 12:41:43 +0200 | blanchet | put E before (typically remote, hence less reliable) Vampire | changeset | files |
| Wed, 24 Jun 2015 23:03:55 +0200 | wenzelm | tuned proofs -- less digits; | changeset | files |