1.1 --- a/src/HOL/Multivariate_Analysis/Euclidean_Space.thy	Thu Apr 29 11:42:34 2010 -0700
     1.2 +++ b/src/HOL/Multivariate_Analysis/Euclidean_Space.thy	Thu Apr 29 14:32:24 2010 -0700
     1.3 @@ -1151,7 +1151,7 @@
     1.4  
     1.5  text {* TODO: The following lemmas about adjoints should hold for any
     1.6  Hilbert space (i.e. complete inner product space).
     1.7 -(see http://en.wikipedia.org/wiki/Hermitian_adjoint)
     1.8 +(see \url{http://en.wikipedia.org/wiki/Hermitian_adjoint})
     1.9  *}
    1.10  
    1.11  lemma adjoint_works_lemma: