equal
deleted
inserted
replaced
|
1 \begin{thebibliography}{1} |
|
2 |
|
3 \bibitem{Bird-Wadler} |
|
4 Richard Bird and Philip Wadler. |
|
5 \newblock {\em Introduction to Functional Programming}. |
|
6 \newblock Prentice-Hall, 1988. |
|
7 |
|
8 \bibitem{Isa-Ref-Man} |
|
9 Lawrence~C. Paulson. |
|
10 \newblock {\em The Isabelle Reference Manual}. |
|
11 \newblock University of Cambridge, Computer Laboratory. |
|
12 \newblock \verb$http://www.in.tum.de/~isabelle/dist/$. |
|
13 |
|
14 \bibitem{Isa-Logics-Man} |
|
15 Lawrence~C. Paulson. |
|
16 \newblock {\em Isabelle's Object-Logics}. |
|
17 \newblock University of Cambridge, Computer Laboratory. |
|
18 \newblock \verb$http://www.in.tum.de/~isabelle/dist/$. |
|
19 |
|
20 \bibitem{Paulson-ML} |
|
21 Lawrence~C. Paulson. |
|
22 \newblock {\em ML for the Working Programmer}. |
|
23 \newblock Cambridge University Press, 2nd edition, 1996. |
|
24 |
|
25 \end{thebibliography} |