
diff -r ea69ee7e117b -r 2d4c058749a7 doc-src/TutorialI/fp.tex
--- 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




