# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1286548631 -3600
# Node ID 7044f796d8d1c4fd607527a9260e087b6cb12190
# Parent  e1093e680bcf933a243d3ad646363c467254bcf0
minor

diff -r e1093e680bcf -r 7044f796d8d1 Paper/Paper.thy
--- a/Paper/Paper.thy	Fri Oct 08 15:35:14 2010 +0100
+++ b/Paper/Paper.thy	Fri Oct 08 15:37:11 2010 +0100
@@ -2340,7 +2340,7 @@
   exist in Ott. 
   We have tried out the extension with calculi such as Core-Haskell, type-schemes 
   and approximately a  dozen of other typical examples from programming 
-  language research \cite{SewellBestiary}. The code
+  language research~\cite{SewellBestiary}. The code
   will eventually become part of the next Isabelle distribution.\footnote{For the moment
   it can be downloaded from the Mercurial repository linked at
   \href{http://isabelle.in.tum.de/nominal/download}