# HG changeset patch
# User paulson
# Date 837090832 -7200
# Node ID e251196383cdc48e436f9f5552a31a2d555340fb
# Parent  58ab3b74a34495c60d1effc76dfa58a1c3eb2cf7
Added ML reference

diff -r 58ab3b74a344 -r e251196383cd doc-src/Ref/ref.bbl
--- a/doc-src/Ref/ref.bbl	Thu Jul 11 15:02:42 1996 +0200
+++ b/doc-src/Ref/ref.bbl	Thu Jul 11 15:13:52 1996 +0200
@@ -49,6 +49,11 @@
 \newblock {\em {ML} for the Working Programmer}.
 \newblock Cambridge University Press, 1991.
 
+\bibitem{paulson-ml2}
+Lawrence~C. Paulson.
+\newblock {\em {ML} for the Working Programmer}.
+\newblock Cambridge University Press, 2nd edition, 1996.
+
 \bibitem{pelletier86}
 F.~J. Pelletier.
 \newblock Seventy-five problems for testing automatic theorem provers.