Mercurial Mercurial > hg > nominal2 / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minor
authorChristian Urban <urbanc@in.tum.de>
Fri, 08 Oct 2010 15:37:11 +0100
changeset 2518 7044f796d8d1
parent 2517 e1093e680bcf
child 2519 3e9b4ce0aeca
minor
Paper/Paper.thy file | annotate | diff | comparison | revisions 
--- 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}
nominal2