doc-src/manual.bib

--- a/doc-src/manual.bib	Sun Oct 23 16:03:59 2011 +0200
+++ b/doc-src/manual.bib	Sun Oct 23 23:11:53 2011 +0200
@@ -628,6 +628,13 @@
   year          = {2009}
 }
 
+@inproceedings{hindleymilner,
+  author = {L. Damas and H. Milner},
+  title = {Principal type schemes for functional programs},
+  booktitle = {ACM Symp. Principles of Programming Languages},
+  year = 1982
+}
+
 @manual{isabelle-classes,
   author        = {Florian Haftmann},
   title         = {Haskell-style type classes with {Isabelle}/{Isar}},