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