isabelle: Changelog

haftmann [Fri, 03 Feb 2006 11:47:57 +0100] rev 18917

refined signature of locale module

haftmann [Fri, 03 Feb 2006 08:48:33 +0100] rev 18916

no toplevel 'thy' anymore

haftmann [Fri, 03 Feb 2006 08:48:16 +0100] rev 18915

fix in codegen

wenzelm [Thu, 02 Feb 2006 21:59:55 +0100] rev 18914

do not open structure;

huffman [Thu, 02 Feb 2006 19:57:13 +0100] rev 18913

reimplemented using Equiv_Relations.thy

haftmann [Thu, 02 Feb 2006 18:04:10 +0100] rev 18912

improvement in devarifications

haftmann [Thu, 02 Feb 2006 18:03:35 +0100] rev 18911

alternative syntax for instances

wenzelm [Thu, 02 Feb 2006 16:37:10 +0100] rev 18910

tuned;

wenzelm [Thu, 02 Feb 2006 16:31:38 +0100] rev 18909

consumes: negative argument relative to total number of prems;

wenzelm [Thu, 02 Feb 2006 16:31:37 +0100] rev 18908

added refine_insert;

isabelle