isabelle: Changelog

wenzelm [Fri, 26 Nov 2010 14:19:16 +0100] rev 40712

more correct spelling;

haftmann [Fri, 26 Nov 2010 12:03:18 +0100] rev 40711

globbing constant expressions use more idiomatic underscore rather than star

haftmann [Fri, 26 Nov 2010 12:03:17 +0100] rev 40710

globbing constant expressions use more idiomatic underscore rather than star; precised

haftmann [Fri, 26 Nov 2010 11:38:20 +0100] rev 40709

datatype constructor glob for code_reflect

haftmann [Fri, 26 Nov 2010 11:06:49 +0100] rev 40708

merged

haftmann [Fri, 26 Nov 2010 09:32:26 +0100] rev 40707

merged

haftmann [Thu, 25 Nov 2010 15:40:41 +0100] rev 40706

merged

haftmann [Thu, 25 Nov 2010 15:40:15 +0100] rev 40705

toplevel deresolving for flat module name space

hoelzl [Fri, 26 Nov 2010 10:04:04 +0100] rev 40704

merged

hoelzl [Tue, 23 Nov 2010 14:14:17 +0100] rev 40703

Move some missing lemmas from Andrei Popescus 'Ordinals and Cardinals' AFP entry to the HOL-image.

isabelle