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