# HG changeset patch
# User webertj
# Date 1274732365 -3600
# Node ID 844d9842aec7977c3d923cf10cd1087074f1fab5
# Parent  3f84f1f4de64afc13189615f06464efaaaea6143# Parent  67934c40a5f7fb6363eb99f2304591670a4562ed
merged

diff -r 3f84f1f4de64 -r 844d9842aec7 doc-src/IsarRef/Thy/Spec.thy
--- a/doc-src/IsarRef/Thy/Spec.thy	Mon May 24 12:42:17 2010 -0700
+++ b/doc-src/IsarRef/Thy/Spec.thy	Mon May 24 21:19:25 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