Mercurial Mercurial > hg > regexp / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
slight polishing to SUBSEQ
authorurbanc
Mon, 05 Sep 2011 13:44:01 +0000
changeset 238 a6513d0b16fc
parent 237 e02155fe8136
child 239 13de6a49294e
slight polishing to SUBSEQ
Journal/Paper.thy file | annotate | diff | comparison | revisions 
--- a/Journal/Paper.thy	Mon Sep 05 13:43:12 2011 +0000
+++ b/Journal/Paper.thy	Mon Sep 05 13:44:01 2011 +0000
@@ -2183,7 +2183,8 @@
   \begin{tabular}{l@ {\hspace{1mm}}c@ {\hspace{1mm}}l}
   @{thm (lhs) UP.simps(1)} & @{text "\<equiv>"} & @{thm (rhs) UP.simps(1)}\\  
   @{thm (lhs) UP.simps(2)} & @{text "\<equiv>"} & @{thm (rhs) UP.simps(2)}\\ 
-  @{thm (lhs) UP.simps(3)} & @{text "\<equiv>"} & @{thm (rhs) UP.simps(3)}\\ 
+  @{thm (lhs) UP.simps(3)} & @{text "\<equiv>"} &\\ 
+   \multicolumn{3}{r}{@{thm (rhs) UP.simps(3)}}\\ 
   @{thm (lhs) UP.simps(4)[where ?r1.0="r\<^isub>1" and ?r2.0="r\<^isub>2"]} & 
      @{text "\<equiv>"} & @{thm (rhs) UP.simps(4)[where ?r1.0="r\<^isub>1" and ?r2.0="r\<^isub>2"]}\\
   @{thm (lhs) UP.simps(5)[where ?r1.0="r\<^isub>1" and ?r2.0="r\<^isub>2"]} &
regexp