isabelle: Changelog

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

blanchet [Tue, 09 Feb 2010 21:32:57 +0100] rev 35080

merged

blanchet [Tue, 09 Feb 2010 17:06:05 +0100] rev 35079

merged (manual for "nitpick_hol.ML" and "kodkod.ML")

blanchet [Tue, 09 Feb 2010 16:07:51 +0100] rev 35078

optimization to quantifiers in Nitpick's handling of simp rules + renamed some SAT solvers

isabelle