src/HOL/Unix/Unix.thy
Tue, 07 Nov 2006 18:25:48 +0100 schirmer field-update in records is generalised to take a function on the field
Sat, 14 Oct 2006 23:25:46 +0200 wenzelm locale begin/end;
Thu, 12 Oct 2006 22:57:24 +0200 wenzelm replaced attributes_update by map_attributes;
less more (0) -10 -3 tip