diff -r 8760f7cdb326 -r 24975b9d26ca doc-src/manual.bib
--- a/doc-src/manual.bib	Sun May 21 01:16:54 2000 +0200
+++ b/doc-src/manual.bib	Sun May 21 01:17:12 2000 +0200
@@ -526,6 +526,23 @@
   pages		= {317-332},
   year		= 1998}
 
+@InCollection{nipkow-sorts93,
+  author = 	 {T. Nipkow},
+  title = 	 {Order-Sorted Polymorphism in {Isabelle}},
+  booktitle = 	 {Logical Environments},
+  publisher =	 CUP,
+  year =	 1993,
+  editor =	 {G. Huet and G. Plotkin},
+  pages =	 {164--188}
+}
+
+@Misc{nipkow-types93,
+  author =	 {Tobias Nipkow},
+  title =	 {Axiomatic Type Classes (in {I}sabelle)},
+  howpublished = {Presentation at the workshop \emph{Types for Proof and Programs}, Nijmegen},
+  year =	 1993
+}
+
 @inproceedings{Nipkow-CR,
   author	= {Tobias Nipkow},
   title		= {More {Church-Rosser} Proofs (in {Isabelle/HOL})},
@@ -558,7 +575,8 @@
   author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
   title		= {{Isabelle}'s Logics: {HOL}},
   institution	= {Institut f\"ur Informatik, Technische Universi\"at
-                  M\"unchen and Computer Laboratory, University of Cambridge}}
+                  M\"unchen and Computer Laboratory, University of Cambridge},
+  note          = {\url{http://isabelle.in.tum.de/doc/logics-HOL.pdf}}}
 
 @article{nipkow-prehofer,
   author	= {Tobias Nipkow and Christian Prehofer},
@@ -636,12 +654,14 @@
 @manual{isabelle-ref,
   author	= {Lawrence C. Paulson},
   title		= {The {Isabelle} Reference Manual},
-  institution	= CUCL}
+  institution	= CUCL,
+  note          = {\url{http://isabelle.in.tum.de/doc/ref.pdf}}}
 
 @manual{isabelle-ZF,
   author	= {Lawrence C. Paulson},
   title		= {{Isabelle}'s Logics: {FOL} and {ZF}},
-  institution	= CUCL}
+  institution	= CUCL,
+  note          = {\url{http://isabelle.in.tum.de/doc/logics-ZF.pdf}}}
 
 @article{paulson-found,
   author	= {Lawrence C. Paulson},
@@ -938,12 +958,20 @@
 @manual{isabelle-sys,
   author	= {Markus Wenzel and Stefan Berghofer},
   title		= {The {Isabelle} System Manual},
-  institution	= {TU Munich}}
+  institution	= {TU Munich},
+  note          = {\url{http://isabelle.in.tum.de/doc/system.pdf}}}
 
 @manual{isabelle-isar-ref,
   author	= {Markus Wenzel},
   title		= {The {Isabelle/Isar} Reference Manual},
-  institution	= {TU Munich}}
+  institution	= {TU Munich},
+  note          = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}}
+
+@manual{isabelle-axclass,
+  author	= {Markus Wenzel},
+  title		= {Using Axiomatic Type Classes in {I}sabelle},
+  institution	= {TU Munich},
+  note          = {\url{http://isabelle.in.tum.de/doc/axclass.pdf}}}
 
 
 @InProceedings{Wenzel:1999:TPHOL,