# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1279468953 -3600
# Node ID 3aeb58524131f3182f331a328994987daa1de377
# Parent  34af7f2ca490efa033b580308d5959651cec77d0
minor things

diff -r 34af7f2ca490 -r 3aeb58524131 Quotient-Paper/Paper.thy
--- a/Quotient-Paper/Paper.thy	Sat Jul 17 15:44:24 2010 +0100
+++ b/Quotient-Paper/Paper.thy	Sun Jul 18 17:02:33 2010 +0100
@@ -821,10 +821,10 @@
   package establishes the following three proof steps:
 
   \begin{center}
-  \begin{tabular}{r@ {\hspace{4mm}}l}
-  1.) & @{text "raw_thm \<longrightarrow> reg_thm"}\\
-  2.) & @{text "reg_thm \<longleftrightarrow> inj_thm"}\\
-  3.) & @{text "inj_thm \<longleftrightarrow> quot_thm"}\\
+  \begin{tabular}{l@ {\hspace{4mm}}l}
+  1.) Regularisation & @{text "raw_thm \<longrightarrow> reg_thm"}\\
+  2.) Injection & @{text "reg_thm \<longleftrightarrow> inj_thm"}\\
+  3.) Cleaning & @{text "inj_thm \<longleftrightarrow> quot_thm"}\\
   \end{tabular}
   \end{center}