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