--- 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,