isabelle: Changelog

wenzelm [Wed, 24 May 2006 22:44:56 +0200] rev 19716

add_datatype_axm: finalize specified consts;

wenzelm [Wed, 24 May 2006 22:15:07 +0200] rev 19715

tuned;

wenzelm [Wed, 24 May 2006 22:13:50 +0200] rev 19714

tuned;

wenzelm [Wed, 24 May 2006 22:04:06 +0200] rev 19713

made smlnj happy;

wenzelm [Wed, 24 May 2006 21:58:09 +0200] rev 19712

wellformed: be less ambitious about structural containment; tuned;

wenzelm [Wed, 24 May 2006 21:58:07 +0200] rev 19711

Pure: update on overloaded defs;

berghofe [Wed, 24 May 2006 10:02:36 +0200] rev 19710

Extended strong induction rule with additional freshness constraints.

huffman [Wed, 24 May 2006 01:47:25 +0200] rev 19709

add theorem cfcomp_strict

wenzelm [Wed, 24 May 2006 01:05:02 +0200] rev 19708

added add_deps, which actually records dependencies of consts (unlike add_finals); tuned;

wenzelm [Wed, 24 May 2006 01:05:01 +0200] rev 19707

tuned;

isabelle