isabelle: Changelog

haftmann [Tue, 09 Mar 2010 21:19:49 +0100] rev 35684

clarified transfer code proper; more natural declaration of return rules

haftmann [Tue, 09 Mar 2010 21:19:48 +0100] rev 35683

misc tuning

wenzelm [Tue, 09 Mar 2010 23:32:49 +0100] rev 35682

Typedecl.typedecl_global;

wenzelm [Tue, 09 Mar 2010 23:32:13 +0100] rev 35681

localized typedecl;

wenzelm [Tue, 09 Mar 2010 23:29:04 +0100] rev 35680

aliases for class/type/const; tuned;

wenzelm [Tue, 09 Mar 2010 23:27:35 +0100] rev 35679

added Name_Space.alias -- additional accesses for an existing entry;

wenzelm [Tue, 09 Mar 2010 20:23:19 +0100] rev 35678

merged

haftmann [Tue, 09 Mar 2010 18:33:01 +0100] rev 35677

merged

haftmann [Tue, 09 Mar 2010 18:31:37 +0100] rev 35676

data administration using canonical functorial operations

haftmann [Tue, 09 Mar 2010 16:15:19 +0100] rev 35675

tuned data structures; using AList.map_default

isabelle