--- a/doc-src/IsarRef/generic.tex Tue Jun 06 14:55:19 2006 +0200
+++ b/doc-src/IsarRef/generic.tex Tue Jun 06 14:55:56 2006 +0200
@@ -1355,7 +1355,7 @@
\medskip Proper cases are only available if both the proof method and the
rules involved support this. By using appropriate attributes, case names,
conclusions, and parameters may be also declared by hand. Thus variant
-versions of rules that have been derived manually become reasy to use in
+versions of rules that have been derived manually become ready to use in
advanced case analysis later.
\begin{rail}