# HG changeset patch
# User nipkow
# Date 984661030 -3600
# Node ID a8cb33f6cf9cd0145d37b190e8a55ea6fc138658
# Parent  76bc8ea0c6f2f791cbb8f39c83503bccba17c0c3
*** empty log message ***

diff -r 76bc8ea0c6f2 -r a8cb33f6cf9c doc-src/TutorialI/basics.tex
--- a/doc-src/TutorialI/basics.tex	Thu Mar 15 11:06:33 2001 +0100
+++ b/doc-src/TutorialI/basics.tex	Thu Mar 15 13:57:10 2001 +0100
@@ -9,13 +9,13 @@
 following the equation
 \[ \mbox{HOL} = \mbox{Functional Programming} + \mbox{Logic}. \]
 We do not assume that the reader is familiar with mathematical logic but that
-(s)he is used to logical and set theoretic notation.  In contrast, we do assume
-that the reader is familiar with the basic concepts of functional programming.
-For excellent introductions consult the textbooks by Bird and
-Wadler~\cite{Bird-Wadler} or Paulson~\cite{paulson-ml2}.  Although this
-tutorial initially concentrates on functional programming, do not be
-misled: HOL can express most mathematical concepts, and functional programming
-is just one particularly simple and ubiquitous instance.
+(s)he is used to logical and set theoretic notation, such as covered
+in a good discrete math course~\cite{Rosen-DMA}. In contrast, we do assume
+that the reader is familiar with the basic concepts of functional
+programming~\cite{Bird-Haskell,Hudak-Haskell,paulson-ml2,Thompson-Haskell}.
+Although this tutorial initially concentrates on functional programming, do
+not be misled: HOL can express most mathematical concepts, and functional
+programming is just one particularly simple and ubiquitous instance.
 
 Isabelle~\cite{paulson-isa-book} is implemented in ML~\cite{SML}.  This has
 influenced some of Isabelle/HOL's concrete syntax but is otherwise irrelevant
diff -r 76bc8ea0c6f2 -r a8cb33f6cf9c doc-src/manual.bib
--- a/doc-src/manual.bib	Thu Mar 15 11:06:33 2001 +0100
+++ b/doc-src/manual.bib	Thu Mar 15 13:57:10 2001 +0100
@@ -144,6 +144,10 @@
 @book{Bird-Wadler,author="Richard Bird and Philip Wadler",
 title="Introduction to Functional Programming",publisher=PH,year=1988}
 
+@book{Bird-Haskell,author="Richard Bird",
+title="Introduction to Functional Programming using Haskell",
+publisher=PH,year=1998}
+
 @Article{boyer86,
   author	= {Robert Boyer and Ewing Lusk and William McCune and Ross
 		   Overbeek and Mark Stickel and Lawrence Wos},
@@ -410,6 +414,9 @@
   number	= 5,
   month		= May}
 
+@book{Hudak-Haskell,author={Paul Hudak},
+title={The Haskell School of Expression},publisher=CUP,year=2000}
+
 @article{huet75,
   author	= {G. P. Huet},
   title		= {A Unification Algorithm for Typed $\lambda$-Calculus},
@@ -923,6 +930,10 @@
   publisher	= {Addison-Wesley},
   year		= 1990}
 
+@book{Rosen-DMA,author={Kenneth H. Rosen},
+title={Discrete Mathematics and Its Applications},
+publisher={McGraw-Hill},year=1998}
+
 @InProceedings{Rudnicki:1992:MizarOverview,
   author = 	 {P. Rudnicki},
   title = 	 {An Overview of the {MIZAR} Project},
@@ -1001,6 +1012,10 @@
   publisher	= {Addison-Wesley},
   year		= 1991}
 
+@book{Thompson-Haskell,author={Simon Thompson},
+title={Haskell: The Craft of Functional Programming},
+publisher={Addison-Wesley},year=1999}
+
 @Unpublished{Trybulec:1993:MizarFeatures,
   author = 	 {A. Trybulec},
   title = 	 {Some Features of the {Mizar} Language},