# HG changeset patch
# User urbanc
# Date 1316000810 0
# Node ID 821ff177a4786a51cba34120bf6b03e68dd385f3
# Parent  b1946e131ce8730162734c3d4083a4af050a5059
corrected typo found by Xingyuan

diff -r b1946e131ce8 -r 821ff177a478 Journal/Paper.thy
--- a/Journal/Paper.thy	Tue Sep 13 12:00:53 2011 +0000
+++ b/Journal/Paper.thy	Wed Sep 14 11:46:50 2011 +0000
@@ -2205,7 +2205,7 @@
 
   \noindent
   and use \eqref{supseqprops} to establish that @{thm lang_UP} holds. This shows
-  that @{term "SUBSEQ A"} is regular, provided @{text A} is.
+  that @{term "SUPSEQ A"} is regular, provided @{text A} is.
   \end{proof}
 
   \noindent