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.
fix latex url
authorhuffman
Thu, 29 Apr 2010 14:32:24 -0700
changeset 36595 c0486affbd9b
parent 36594 56ea7385916d
child 36596 5ef18d433634
fix latex url
src/HOL/Multivariate_Analysis/Euclidean_Space.thy file | annotate | diff | comparison | revisions 
--- 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:
isabelle