# HG changeset patch
# User huffman
# Date 1272576744 25200
# Node ID c0486affbd9bc67b81946842e80820e3f320aa19
# Parent  56ea7385916dffe57165c53d2dea48ef66aca42a
fix latex url

diff -r 56ea7385916d -r c0486affbd9b src/HOL/Multivariate_Analysis/Euclidean_Space.thy
--- a/src/HOL/Multivariate_Analysis/Euclidean_Space.thy	Thu Apr 29 11:42:34 2010 -0700
+++ b/src/HOL/Multivariate_Analysis/Euclidean_Space.thy	Thu Apr 29 14:32:24 2010 -0700
@@ -1151,7 +1151,7 @@
 
 text {* TODO: The following lemmas about adjoints should hold for any
 Hilbert space (i.e. complete inner product space).
-(see http://en.wikipedia.org/wiki/Hermitian_adjoint)
+(see \url{http://en.wikipedia.org/wiki/Hermitian_adjoint})
 *}
 
 lemma adjoint_works_lemma: