isabelle: Changelog

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;

wenzelm [Fri, 15 Jul 2005 15:44:21 +0200] rev 16866

tuned assoc;

wenzelm [Fri, 15 Jul 2005 15:44:20 +0200] rev 16865

tuned fold on terms; tuned assoc;

wenzelm [Fri, 15 Jul 2005 15:44:19 +0200] rev 16864

tuned min_key, max_key;

wenzelm [Fri, 15 Jul 2005 15:44:18 +0200] rev 16863

replaced foldl_XXX by canonical fold_XXX; canonical arguments for add_term_varnames, add_tvarsT, add_tvars, add_vars, add_frees,

wenzelm [Fri, 15 Jul 2005 15:44:17 +0200] rev 16862

tuned;

isabelle