# HG changeset patch
# User nipkow
# Date 980333955 -3600
# Node ID 7917e66505a4fece2a6b31686091caeca05808b4
# Parent  cfd85f5c6eac8e770beab83b3ea9962be2fa00be
*** empty log message ***

diff -r cfd85f5c6eac -r 7917e66505a4 doc-src/manual.bib
--- a/doc-src/manual.bib	Wed Jan 24 00:06:32 2001 +0100
+++ b/doc-src/manual.bib	Wed Jan 24 11:59:15 2001 +0100
@@ -538,6 +538,9 @@
   publisher	= Prentice,
   year		= 1989}
 
+@book{SML,author="Robin Milner and Mads Tofte and Robert Harper",
+title="The Definition of Standard ML",publisher=MIT,year=1990}
+
 @PhdThesis{monahan84,
   author	= {Brian Q. Monahan},
   title		= {Data Type Proofs using Edinburgh {LCF}},