# HG changeset patch
# User webertj
# Date 1274732302 -3600
# Node ID 67934c40a5f7fb6363eb99f2304591670a4562ed
# Parent  e67760c1b851c3911c2e9fd8b01f04593f15c1f2
Typo fixed.

diff -r e67760c1b851 -r 67934c40a5f7 doc-src/IsarRef/Thy/Spec.thy
--- 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