# HG changeset patch
# User haftmann
# Date 1149598556 -7200
# Node ID eeefc22d08d8c662fa129b38b23b5563ec5bcfc8
# Parent  52d71ee5c8a82fe21cfef801bb762b6215159f16
fixed typo

diff -r 52d71ee5c8a8 -r eeefc22d08d8 doc-src/IsarRef/generic.tex
--- 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}