isabelle: Changelog

haftmann [Mon, 15 Feb 2010 14:04:06 +0100] rev 35127

apply global morphism for theory, instantiation and overloading target; n.b. target morphism and global morphism coincide for theory target

haftmann [Mon, 15 Feb 2010 14:04:06 +0100] rev 35126

clarifed type

boehmes [Sun, 14 Feb 2010 17:46:28 +0100] rev 35125

optionally localize assertion labels (based on user-defined offsets) to reduce the effort of label adaptions after changes to the source program

wenzelm [Sun, 14 Feb 2010 00:26:48 +0100] rev 35124

formal markup of constants;

wenzelm [Sat, 13 Feb 2010 23:24:57 +0100] rev 35123

modernized structures;

wenzelm [Sat, 13 Feb 2010 23:16:06 +0100] rev 35122

authentic proof syntax;

haftmann [Fri, 12 Feb 2010 14:28:01 +0100] rev 35121

tuned import order

haftmann [Fri, 12 Feb 2010 09:49:28 +0100] rev 35120

tuned comments

wenzelm [Thu, 11 Feb 2010 23:50:38 +0100] rev 35119

merged

huffman [Thu, 11 Feb 2010 12:26:50 -0800] rev 35118

merged

isabelle