| Thu, 25 Jun 2015 12:13:29 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 25 Jun 2015 12:10:07 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 25 Jun 2015 15:01:43 +0200 | haftmann | streamlined definitions and primitive lemma of euclidean algorithm, including code generation | changeset | files |
| Thu, 25 Jun 2015 15:01:42 +0200 | haftmann | euclidean algorithm on polynomials | changeset | files |
| 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 |