# HG changeset patch
# User nipkow
# Date 1076542103 -3600
# Node ID 6b15793a641af61dd12646d86ada465837c89f00
# Parent  2128a8f0a676a9f1fcd603842ec229b50f872263
Missing } inserted

diff -r 2128a8f0a676 -r 6b15793a641a doc-src/IsarOverview/Isar/document/root.tex
--- a/doc-src/IsarOverview/Isar/document/root.tex	Wed Feb 11 17:39:00 2004 +0100
+++ b/doc-src/IsarOverview/Isar/document/root.tex	Thu Feb 12 00:28:23 2004 +0100
@@ -14,7 +14,7 @@
 \begin{document}
 
 \title{%A Compact Introduction to
-Structured Proofs in Isar/HOL}
+Structured Proofs in Isar/HOL\thanks{Published in TYPES 2002, LNCS 2646.}}
 \author{Tobias Nipkow}
 \institute{Institut f{\"u}r Informatik, TU M{\"u}nchen\\
  {\small\url{http://www.in.tum.de/~nipkow/}}}
diff -r 2128a8f0a676 -r 6b15793a641a doc-src/manual.bib
--- a/doc-src/manual.bib	Wed Feb 11 17:39:00 2004 +0100
+++ b/doc-src/manual.bib	Thu Feb 12 00:28:23 2004 +0100
@@ -937,7 +937,7 @@
   number	= 3,
   pages		= {353-389},
   year		= 1993,
-  url		= {\url{http://www.cl.cam.ac.uk/users/lcp/papers/Sets/set-I.pdf}}
+  url		= {\url{http://www.cl.cam.ac.uk/users/lcp/papers/Sets/set-I.pdf}}}
 
 @Article{paulson-set-II,
   author	= {Lawrence C. Paulson},