isabelle: Changelog

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

haftmann [Tue, 09 Mar 2010 15:47:16 +0100] rev 35674

consistent field names; tuned interface

haftmann [Tue, 09 Mar 2010 15:47:15 +0100] rev 35673

weakend class ring_div; tuned

blanchet [Tue, 09 Mar 2010 16:40:31 +0100] rev 35672

more work on Nitpick's finite sets

isabelle