2006-02-03 agocanonical member/insert/merge;
wenzelm [Fri, 03 Feb 2006 23:12:28 +0100] rev 18921
canonical member/insert/merge;

2006-02-03 agoremoval of case analysis clauses
paulson [Fri, 03 Feb 2006 17:08:03 +0100] rev 18920
removal of case analysis clauses

2006-02-03 agofix
haftmann [Fri, 03 Feb 2006 17:02:33 +0100] rev 18919
fix

2006-02-03 agominor improvements
haftmann [Fri, 03 Feb 2006 11:48:11 +0100] rev 18918
minor improvements

2006-02-03 agorefined signature of locale module
haftmann [Fri, 03 Feb 2006 11:47:57 +0100] rev 18917
refined signature of locale module

2006-02-03 agono toplevel 'thy' anymore
haftmann [Fri, 03 Feb 2006 08:48:33 +0100] rev 18916
no toplevel 'thy' anymore

2006-02-03 agofix in codegen
haftmann [Fri, 03 Feb 2006 08:48:16 +0100] rev 18915
fix in codegen

2006-02-02 agodo not open structure;
wenzelm [Thu, 02 Feb 2006 21:59:55 +0100] rev 18914
do not open structure;

2006-02-02 agoreimplemented using Equiv_Relations.thy
huffman [Thu, 02 Feb 2006 19:57:13 +0100] rev 18913
reimplemented using Equiv_Relations.thy

2006-02-02 agoimprovement in devarifications
haftmann [Thu, 02 Feb 2006 18:04:10 +0100] rev 18912
improvement in devarifications