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.
Typo fixed.
authorwebertj
Mon, 24 May 2010 21:18:22 +0100
changeset 37112 67934c40a5f7
parent 37109 e67760c1b851
child 37113 844d9842aec7
Typo fixed.
doc-src/IsarRef/Thy/Spec.thy file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarRef/Thy/Spec.thy	Mon May 24 11:29:49 2010 -0700
+++ b/doc-src/IsarRef/Thy/Spec.thy	Mon May 24 21:18:22 2010 +0100
@@ -678,7 +678,7 @@
 
   On the theory level, @{command "instance"}~@{text "t :: (s\<^sub>1, \<dots>,
   s\<^sub>n)s"} provides a convenient way to instantiate a type class with no
-  need to specifify operations: one can continue with the
+  need to specify operations: one can continue with the
   instantiation proof immediately.
 
   \item @{command "subclass"}~@{text c} in a class context for class
isabelle