*** empty log message ***

--- 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}},