isabelle: Changelog

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;

wenzelm [Wed, 28 Sep 2005 15:13:02 +0200] rev 17698

more reliable check for PDF output using ifpdf.sty;

webertj [Wed, 28 Sep 2005 14:41:43 +0200] rev 17697

pre_sat_tac moved towards end of file

haftmann [Wed, 28 Sep 2005 14:16:34 +0200] rev 17696

adjusted www links

isabelle