*** empty log message ***
authorwenzelm
Fri Jul 15 15:45:04 2005 +0200 (2005-07-15)
changeset 16868eaafda56b14c
parent 16867 cf7d61d56acf
child 16869 bc98da5727be
*** empty log message ***
CONTRIBUTORS
NEWS
     1.1 --- a/CONTRIBUTORS	Fri Jul 15 15:44:22 2005 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Jul 15 15:45:04 2005 +0200
     1.3 @@ -1,3 +1,7 @@
     1.4 +
     1.5 +* July 2005: Florian Haftmann, TUM
     1.6 +  Some combinators for linear functional transformations in ML:
     1.7 +  |->  #->  fold_yield  etc.
     1.8  
     1.9  * May 2005: Rafal Kolanski, NICTA
    1.10    Substantially improved retrieval of facts from theory/proof context.
     2.1 --- a/NEWS	Fri Jul 15 15:44:22 2005 +0200
     2.2 +++ b/NEWS	Fri Jul 15 15:45:04 2005 +0200
     2.3 @@ -420,7 +420,7 @@
     2.4  * Pure/term.ML: combinators fold_atyps, fold_aterms, fold_term_types,
     2.5  fold_types traverse types/terms from left to right, observing
     2.6  canonical argument order.  Supercedes previous foldl_XXX versions,
     2.7 -add_frees, add_vars have been adapted as well: INCOMPATIBILITY.
     2.8 +add_frees, add_vars etc. have been adapted as well: INCOMPATIBILITY.
     2.9  
    2.10  * Pure: output via the Isabelle channels of writeln/warning/error
    2.11  etc. is now passed through Output.output, with a hook for arbitrary