isabelle: Changelog

wenzelm [Tue, 19 Jul 2005 17:21:47 +0200] rev 16876

Logic.incr_tvar;

wenzelm [Tue, 19 Jul 2005 17:21:46 +0200] rev 16875

retract accidental user commit; removed obsolete XSYMBOL_HOME; tuned;

wenzelm [Tue, 19 Jul 2005 17:21:45 +0200] rev 16874

tuned;

obua [Tue, 19 Jul 2005 16:16:53 +0200] rev 16873

proving bounds for real linear programs

schirmer [Tue, 19 Jul 2005 14:59:11 +0200] rev 16872

removed some garbage; fixed record_ex_sel_eq_simproc

paulson [Tue, 19 Jul 2005 11:38:45 +0200] rev 16871

textual tweak

webertj [Mon, 18 Jul 2005 15:49:34 +0200] rev 16870

Documentation updated

haftmann [Mon, 18 Jul 2005 14:10:11 +0200] rev 16869

reverted from fold_yield to fold_map

wenzelm [Fri, 15 Jul 2005 15:45:04 +0200] rev 16868

*** empty log message ***

wenzelm [Fri, 15 Jul 2005 15:44:22 +0200] rev 16867

tuned fold on terms and lists;

isabelle