Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Multivariate_Analysis/Euclidean_Space.thy
changeset 37731 8c6bfe10a4ae
parent 37664 2946b8f057df
child 37737 243ea7885e05 
--- a/src/HOL/Multivariate_Analysis/Euclidean_Space.thy	Sun Jul 04 09:26:30 2010 -0700
+++ b/src/HOL/Multivariate_Analysis/Euclidean_Space.thy	Mon Jul 05 09:12:35 2010 -0700
@@ -3317,7 +3317,7 @@
 
 print_antiquotations
 
-section "Instanciate @{typ real} and @{typ complex} as typeclass @{text ordered_euclidean_space}."
+subsection "Instantiate @{typ real} and @{typ complex} as typeclass @{text ordered_euclidean_space}."
 
 instantiation real :: real_basis_with_inner
 begin
isabelle