isabelle: Changelog

wenzelm [Thu, 29 Sep 2005 00:59:01 +0200] rev 17708

abstract_rule: tuned exception msgs;

wenzelm [Thu, 29 Sep 2005 00:59:00 +0200] rev 17707

back to simple 'defs' (cf. revision 1.79 of theory.ML); renamed 'finals' to 'specified', share bookkeeping with defs; added monomorphic;

wenzelm [Thu, 29 Sep 2005 00:58:59 +0200] rev 17706

back to simple 'defs' (cf. revision 1.79); prep_const: Compress.type;

wenzelm [Thu, 29 Sep 2005 00:58:58 +0200] rev 17705

removed revert_bound; added debug_bounds flag;

wenzelm [Thu, 29 Sep 2005 00:58:57 +0200] rev 17704

print_theory: discontinued final consts;

wenzelm [Thu, 29 Sep 2005 00:58:56 +0200] rev 17703

Theory.add_finals_i;

wenzelm [Thu, 29 Sep 2005 00:58:55 +0200] rev 17702

more finalconsts;

wenzelm [Thu, 29 Sep 2005 00:58:54 +0200] rev 17701

tuned;

webertj [Wed, 28 Sep 2005 18:50:42 +0200] rev 17700

pointer to HOL/ex/SAT_Examples.thy added

wenzelm [Wed, 28 Sep 2005 16:58:06 +0200] rev 17699

updated;

isabelle