isabelle: Changelog

wenzelm [Fri, 13 May 2011 23:59:48 +0200] rev 42797

merged

krauss [Fri, 13 May 2011 21:36:01 +0200] rev 42796

removed redundant type annotations and duplicate examples

wenzelm [Fri, 13 May 2011 23:58:40 +0200] rev 42795

clarified map_simpset versus Simplifier.map_simpset_global;

wenzelm [Fri, 13 May 2011 23:24:06 +0200] rev 42794

make ZF_cs snapshot after final setup;

wenzelm [Fri, 13 May 2011 22:55:00 +0200] rev 42793

proper Proof.context for classical tactics; reduced claset to snapshot of classical context; discontinued clasimpset;

wenzelm [Fri, 13 May 2011 16:03:03 +0200] rev 42792

do not open ML structures;

wenzelm [Fri, 13 May 2011 15:55:32 +0200] rev 42791

eliminated weight_ASTAR: int Unsynchronized.ref (astar_tac appears to be obsolete anyway);

wenzelm [Fri, 13 May 2011 15:47:54 +0200] rev 42790

misc tuning and simplification;

wenzelm [Fri, 13 May 2011 14:39:55 +0200] rev 42789

tuned proof;

wenzelm [Fri, 13 May 2011 14:26:51 +0200] rev 42788

tuned proof;

isabelle