| author | nipkow |
| Wed, 26 Aug 1998 16:57:49 +0200 | |
| changeset 5375 | 1463e182c533 |
| child 5850 | 9712294e60b9 |
| permissions | -rw-r--r-- |
| nipkow@5375 | 1 |
\begin{thebibliography}{1}
|
| nipkow@5375 | 2 |
|
| nipkow@5375 | 3 |
\bibitem{Bird-Wadler}
|
| nipkow@5375 | 4 |
Richard Bird and Philip Wadler. |
| nipkow@5375 | 5 |
\newblock {\em Introduction to Functional Programming}.
|
| nipkow@5375 | 6 |
\newblock Prentice-Hall, 1988. |
| nipkow@5375 | 7 |
|
| nipkow@5375 | 8 |
\bibitem{Isa-Ref-Man}
|
| nipkow@5375 | 9 |
Lawrence~C. Paulson. |
| nipkow@5375 | 10 |
\newblock {\em The Isabelle Reference Manual}.
|
| nipkow@5375 | 11 |
\newblock University of Cambridge, Computer Laboratory. |
| nipkow@5375 | 12 |
\newblock \verb$http://www.in.tum.de/~isabelle/dist/$. |
| nipkow@5375 | 13 |
|
| nipkow@5375 | 14 |
\bibitem{Isa-Logics-Man}
|
| nipkow@5375 | 15 |
Lawrence~C. Paulson. |
| nipkow@5375 | 16 |
\newblock {\em Isabelle's Object-Logics}.
|
| nipkow@5375 | 17 |
\newblock University of Cambridge, Computer Laboratory. |
| nipkow@5375 | 18 |
\newblock \verb$http://www.in.tum.de/~isabelle/dist/$. |
| nipkow@5375 | 19 |
|
| nipkow@5375 | 20 |
\bibitem{Paulson-ML}
|
| nipkow@5375 | 21 |
Lawrence~C. Paulson. |
| nipkow@5375 | 22 |
\newblock {\em ML for the Working Programmer}.
|
| nipkow@5375 | 23 |
\newblock Cambridge University Press, 2nd edition, 1996. |
| nipkow@5375 | 24 |
|
| nipkow@5375 | 25 |
\end{thebibliography}
|