| Fri, 07 May 2010 17:03:06 +0200 | wenzelm | use existing undefined function; | changeset | files |
| Fri, 07 May 2010 15:12:53 +0200 | wenzelm | merged | changeset | files |
| Fri, 07 May 2010 15:03:57 +0200 | krauss | removed semicolons | changeset | files |
| Fri, 07 May 2010 15:03:53 +0200 | krauss | rule subrelI (for nice Isar proofs of relation inequalities) | changeset | files |
| Fri, 07 May 2010 14:47:09 +0200 | wenzelm | merged | changeset | files |
| Fri, 07 May 2010 09:59:59 +0200 | haftmann | merged | changeset | files |
| Fri, 07 May 2010 09:59:24 +0200 | haftmann | prefix normalizing replaces class_semiring | changeset | files |
| Thu, 06 May 2010 23:37:07 +0200 | haftmann | xsymbolized | changeset | files |
| Thu, 06 May 2010 23:11:58 +0200 | haftmann | moved method syntax here | changeset | files |
| 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 |
| 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 |