1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/Tutorial/tutorial.bbl	Wed Aug 26 16:57:49 1998 +0200
     1.3 @@ -0,0 +1,25 @@
     1.4 +\begin{thebibliography}{1}
     1.5 +
     1.6 +\bibitem{Bird-Wadler}
     1.7 +Richard Bird and Philip Wadler.
     1.8 +\newblock {\em Introduction to Functional Programming}.
     1.9 +\newblock Prentice-Hall, 1988.
    1.10 +
    1.11 +\bibitem{Isa-Ref-Man}
    1.12 +Lawrence~C. Paulson.
    1.13 +\newblock {\em The Isabelle Reference Manual}.
    1.14 +\newblock University of Cambridge, Computer Laboratory.
    1.15 +\newblock \verb$http://www.in.tum.de/~isabelle/dist/$.
    1.16 +
    1.17 +\bibitem{Isa-Logics-Man}
    1.18 +Lawrence~C. Paulson.
    1.19 +\newblock {\em Isabelle's Object-Logics}.
    1.20 +\newblock University of Cambridge, Computer Laboratory.
    1.21 +\newblock \verb$http://www.in.tum.de/~isabelle/dist/$.
    1.22 +
    1.23 +\bibitem{Paulson-ML}
    1.24 +Lawrence~C. Paulson.
    1.25 +\newblock {\em ML for the Working Programmer}.
    1.26 +\newblock Cambridge University Press, 2nd edition, 1996.
    1.27 +
    1.28 +\end{thebibliography}