isabelle: Changelog

haftmann [Wed, 10 Feb 2010 14:12:02 +0100] rev 35090

moved lemma field_le_epsilon from Real.thy to Fields.thy

wenzelm [Wed, 10 Feb 2010 12:04:57 +0100] rev 35089

merged

wenzelm [Wed, 10 Feb 2010 12:03:13 +0100] rev 35088

unset KODKODI explicitly -- apparently isatest patches settings cumulatively;

blanchet [Wed, 10 Feb 2010 11:47:33 +0100] rev 35087

make Nitpick test a bit weaker; this should solve failure observed last night on "mac-poly"

haftmann [Wed, 10 Feb 2010 08:54:56 +0100] rev 35086

merged

haftmann [Wed, 10 Feb 2010 08:54:40 +0100] rev 35085

moved constants inverse and divide to Ring.thy

haftmann [Wed, 10 Feb 2010 08:49:26 +0100] rev 35084

moved constants inverse and divide to Ring.thy

haftmann [Wed, 10 Feb 2010 08:49:26 +0100] rev 35083

division ring assumes divide_inverse

haftmann [Wed, 10 Feb 2010 08:49:25 +0100] rev 35082

rely less on ordered rewriting

wenzelm [Wed, 10 Feb 2010 00:51:54 +0100] rev 35081

merged

isabelle