| 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 |