# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1362430915 0
# Node ID 4f303da0cd2aaa771a45312eec451b28550c0566
# Parent  209fd285c86ff327cdfc6997215e2b258955064e
updated

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}.