# HG changeset patch
# User urbanc
# Date 1321054690 0
# Node ID f512026d5d6e80c70021cce5a1f16376ee38a055
# Parent  acbae3a11fb578405d084efc1d1f589f3e3110d4
small change

diff -r acbae3a11fb5 -r f512026d5d6e Journal/Paper.thy
--- a/Journal/Paper.thy	Thu Sep 15 12:46:00 2011 +0000
+++ b/Journal/Paper.thy	Fri Nov 11 23:38:10 2011 +0000
@@ -2275,7 +2275,7 @@
   Lemma (see for example~\cite{Rosenberg06}).
 
   \begin{lmm}[Continuation Lemma]
-  If a language @{text A} is regular and a set @{text B} is infinite,
+  If a language @{text A} is regular and a set of strings @{text B} is infinite,
   then there exist two distinct strings @{text x} and @{text y} in @{text B} 
   such that @{term "x \<approx>A y"}.
   \end{lmm}