Mercurial Mercurial > repos > isabelle / 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.
fixing typo
authorbulwahn
Mon, 02 May 2011 10:50:09 +0200
changeset 42600 604661fb94eb
parent 42599 1a82b0400b2a
child 42601 cddab94eeb14
fixing typo
src/HOL/Library/Extended_Reals.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Extended_Reals.thy	Mon May 02 10:50:09 2011 +0200
+++ b/src/HOL/Library/Extended_Reals.thy	Mon May 02 10:50:09 2011 +0200
@@ -14,7 +14,7 @@
 text {*
 
 For more lemmas about the extended real numbers go to
-  @{text "src/HOL/Multivaraite_Analysis/Extended_Real_Limits.thy"}
+  @{text "src/HOL/Multivariate_Analysis/Extended_Real_Limits.thy"}
 
 *}
isabelle