| Mon, 17 Nov 2014 14:55:34 +0100 | haftmann | generalized lemmas and tuned proofs | changeset | files |
| Mon, 17 Nov 2014 14:55:33 +0100 | haftmann | generalized lemmas (particularly concerning dvd) as far as appropriate | changeset | files |
| Mon, 17 Nov 2014 14:55:32 +0100 | haftmann | formally self-contained gcd type classes | changeset | files |
| Fri, 14 Nov 2014 22:13:45 +0100 | wenzelm | merged | changeset | files |
| Fri, 14 Nov 2014 21:36:50 +0100 | wenzelm | no quick_and_dirty for proof extraction, to avoid obscure errors like "corr: bad proof"; | changeset | files |
| Fri, 14 Nov 2014 17:07:06 +0100 | wenzelm | use \isastyletext directly via 'text' command; | changeset | files |
| Fri, 14 Nov 2014 11:19:14 +0100 | wenzelm | proper sequential version (cf. 302104d8366b); | changeset | files |