--- a/doc-src/manual.bib Wed Jul 27 20:28:00 2011 +0200
+++ b/doc-src/manual.bib Thu Jul 28 05:52:28 2011 -0200
@@ -1570,6 +1570,15 @@
year = 2007,
publisher = Springer}
+@unpublished{traytel-berghofer-nipkow-2011,
+ author = {D. Traytel and S. Berghofer and T. Nipkow},
+ title = {Extending Hindley-Milner Type Inference with Coercive
+ Subtyping (long version)},
+ year = 2011,
+ note = {Submitted,
+ \url{http://isabelle.in.tum.de/doc/implementation.pdf}}},
+}
+
@Unpublished{Trybulec:1993:MizarFeatures,
author = {A. Trybulec},
title = {Some Features of the {Mizar} Language},