isabelle: Changelog

hoelzl [Mon, 16 Nov 2009 15:06:34 +0100] rev 33714

Added new lemmas to Euclidean Space by Robert Himmelmann

wenzelm [Mon, 16 Nov 2009 13:53:31 +0100] rev 33713

eliminated obsolete thm position stuff;

wenzelm [Mon, 16 Nov 2009 13:53:02 +0100] rev 33712

tuned signature;

wenzelm [Mon, 16 Nov 2009 13:49:21 +0100] rev 33711

guard future proofs by Goal.future_enabled;

boehmes [Mon, 16 Nov 2009 12:09:59 +0100] rev 33710

further explosion of HOL-Boogie verification conditions

haftmann [Mon, 16 Nov 2009 11:14:43 +0100] rev 33709

merged

haftmann [Mon, 16 Nov 2009 10:16:40 +0100] rev 33708

proper purge

haftmann [Mon, 16 Nov 2009 11:03:14 +0100] rev 33707

dropped obsolete documentation; updated generated sources

blanchet [Mon, 16 Nov 2009 10:03:58 +0100] rev 33706

merged

blanchet [Fri, 13 Nov 2009 15:59:53 +0100] rev 33705

removed a few global names in Nitpick (styp, nat_less, pairf)

isabelle