1.1 --- a/doc-src/TutorialI/fp.tex	Sat Jan 06 10:36:19 2001 +0100
     1.2 +++ b/doc-src/TutorialI/fp.tex	Sat Jan 06 11:27:09 2001 +0100
     1.3 @@ -160,8 +160,7 @@
     1.4  \isaindexbold{hd} (``head'') and \isaindexbold{tl} (``tail'') return the first
     1.5  element and the remainder of a list. (However, pattern-matching is usually
     1.6  preferable to \isa{hd} and \isa{tl}.)  
     1.7 -Also available are the higher-order
     1.8 -functions \isa{map}, \isa{filter}, \isa{foldl} and \isa{foldr}.
     1.9 +Also available are higher-order functions like \isa{map} and \isa{filter}.
    1.10  Theory \isa{List} also contains
    1.11  more syntactic sugar: \isa{[}$x@1$\isa{,}\dots\isa{,}$x@n$\isa{]} abbreviates
    1.12  $x@1$\isa{\#}\dots\isa{\#}$x@n$\isa{\#[]}.  In the rest of the tutorial we