--- a/doc-src/manual.bib Thu Jan 06 05:15:26 2005 +0100
+++ b/doc-src/manual.bib Sat Jan 08 09:30:16 2005 +0100
@@ -716,6 +716,17 @@
pages = {171-186},
year = 1998}
+@inproceedings{Nipkow-TYPES02,
+ author = {Tobias Nipkow},
+ title = {{Structured Proofs in Isar/HOL}},
+ booktitle = {Types for Proofs and Programs (TYPES 2002)},
+ editor = {H. Geuvers and F. Wiedijk},
+ year = 2003,
+ publisher = Springer,
+ series = LNCS,
+ volume = 2646,
+ pages = {259-278}}
+
@manual{isabelle-HOL,
author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
title = {{Isabelle}'s Logics: {HOL}},