Fri, 23 Apr 2010 15:17:59 +0200 | haftmann | sharpened constraint (c.f. 4e7f5b22dd7d) | changeset | files |
Fri, 23 Apr 2010 13:58:15 +0200 | haftmann | more localization; tuned proofs | changeset | files |
Fri, 23 Apr 2010 13:58:14 +0200 | haftmann | more localization; factored out lemmas for division_ring | changeset | files |