1.1 --- a/doc-src/manual.bib	Wed Jan 24 00:06:32 2001 +0100
     1.2 +++ b/doc-src/manual.bib	Wed Jan 24 11:59:15 2001 +0100
     1.3 @@ -538,6 +538,9 @@
     1.4    publisher	= Prentice,
     1.5    year		= 1989}
     1.6  
     1.7 +@book{SML,author="Robin Milner and Mads Tofte and Robert Harper",
     1.8 +title="The Definition of Standard ML",publisher=MIT,year=1990}
     1.9 +
    1.10  @PhdThesis{monahan84,
    1.11    author	= {Brian Q. Monahan},
    1.12    title		= {Data Type Proofs using Edinburgh {LCF}},