
diff -r 209fd285c86f -r 4f303da0cd2a Journal/Paper.thy
--- a/Journal/Paper.thy	Fri Mar 01 17:28:25 2013 +0000
+++ b/Journal/Paper.thy	Mon Mar 04 21:01:55 2013 +0000
@@ -537,7 +537,7 @@
   \mbox{@{term "X \<cdot> A"}}).\footnote{The details of the proof for the reversed Arden's Lemma
   are given in the Appendix.}
 
-  \begin{lmm}[(Reversed Arden's Lemma)]\label{arden}\mbox{}\\
+  \begin{lmm}[Reversed Arden's Lemma]\label{arden}\mbox{}\\
   If @{thm (prem 1) reversed_Arden} then
   @{thm (lhs) reversed_Arden} if and only if
   @{thm (rhs) reversed_Arden}.




