Thu, 06 May 2010 23:11:57 +0200 | haftmann | proper sublocales; no free-floating ML sections | changeset | files |
Thu, 06 May 2010 23:11:56 +0200 | haftmann | moved some lemmas from Groebner_Basis here | changeset | files |
Thu, 06 May 2010 19:35:43 +0200 | haftmann | revert to loose merge semantics | changeset | files |