# HG changeset patch
# User bulwahn
# Date 1304326209 -7200
# Node ID 604661fb94eba8530bdabe2c62d7676168aa0183
# Parent  1a82b0400b2a6f4b119439e12e56bbfe4b9eb455
fixing typo

diff -r 1a82b0400b2a -r 604661fb94eb src/HOL/Library/Extended_Reals.thy
--- 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"}
 
 *}