1.1 --- a/doc-src/IsarRef/Thy/Spec.thy	Mon May 24 11:29:49 2010 -0700
     1.2 +++ b/doc-src/IsarRef/Thy/Spec.thy	Mon May 24 21:18:22 2010 +0100
     1.3 @@ -678,7 +678,7 @@
     1.4  
     1.5    On the theory level, @{command "instance"}~@{text "t :: (s\<^sub>1, \<dots>,
     1.6    s\<^sub>n)s"} provides a convenient way to instantiate a type class with no
     1.7 -  need to specifify operations: one can continue with the
     1.8 +  need to specify operations: one can continue with the
     1.9    instantiation proof immediately.
    1.10  
    1.11    \item @{command "subclass"}~@{text c} in a class context for class