--- a/src/Doc/manual.bib Thu Dec 31 15:27:25 2015 +0100
+++ b/src/Doc/manual.bib Thu Dec 31 19:53:19 2015 +0100
@@ -1908,28 +1908,24 @@
note = {\url{http://www.spass-prover.org/publications/spass.pdf}}}
@manual{isabelle-system,
- author = {Makarius Wenzel and Stefan Berghofer},
- title = {The {Isabelle} System Manual},
- institution = {TU Munich},
- note = {\url{http://isabelle.in.tum.de/doc/system.pdf}}}
+ author = {Makarius Wenzel},
+ title = {The {Isabelle} System Manual},
+ note = {\url{http://isabelle.in.tum.de/doc/system.pdf}}}
@manual{isabelle-jedit,
- author = {Makarius Wenzel},
- title = {{Isabelle/jEdit}},
- institution = {TU Munich},
- note = {\url{http://isabelle.in.tum.de/doc/jedit.pdf}}}
+ author = {Makarius Wenzel},
+ title = {{Isabelle/jEdit}},
+ note = {\url{http://isabelle.in.tum.de/doc/jedit.pdf}}}
@manual{isabelle-isar-ref,
- author = {Makarius Wenzel},
- title = {The {Isabelle/Isar} Reference Manual},
- institution = {TU Munich},
- note = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}}
+ author = {Makarius Wenzel},
+ title = {The {Isabelle/Isar} Reference Manual},
+ note = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}}
@manual{isabelle-implementation,
- author = {Makarius Wenzel},
- title = {The {Isabelle/Isar} Implementation},
- institution = {TU Munich},
- note = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}}
+ author = {Makarius Wenzel},
+ title = {The {Isabelle/Isar} Implementation},
+ note = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}}
@InProceedings{Wenzel:1999:TPHOL,
author = {Markus Wenzel},