Wed, 10 Feb 2010 14:12:02 +0100 | haftmann | moved lemma field_le_epsilon from Real.thy to Fields.thy | changeset | files |
Wed, 10 Feb 2010 12:04:57 +0100 | wenzelm | merged | changeset | files |
Wed, 10 Feb 2010 12:03:13 +0100 | wenzelm | unset KODKODI explicitly -- apparently isatest patches settings cumulatively; | changeset | files |