Thu, 06 May 2010 23:11:58 +0200 | haftmann | tuned proof | changeset | files |
Thu, 06 May 2010 23:11:57 +0200 | haftmann | former free-floating field_comp_conv now in structure Normalizer | changeset | files |
Thu, 06 May 2010 23:11:57 +0200 | haftmann | proper sublocales; no free-floating ML sections | changeset | files |