Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/TutorialI/Documents/Documents.thy
changeset 30649 57753e0ec1d4
parent 28914 f993cbffc42a
child 36176 3fe7e97ccca8 
--- a/doc-src/TutorialI/Documents/Documents.thy	Sat Mar 21 12:37:13 2009 +0100
+++ b/doc-src/TutorialI/Documents/Documents.thy	Sun Mar 22 19:36:04 2009 +0100
@@ -617,7 +617,7 @@
   same types as they have in the main goal statement.
 
   \medskip Several further kinds of antiquotations and options are
-  available \cite{isabelle-sys}.  Here are a few commonly used
+  available \cite{isabelle-isar-ref}.  Here are a few commonly used
   combinations:
 
   \medskip
isabelle