
diff -r f170ee51eed2 -r 9a560e489c64 Quotient-Paper/document/root.tex
--- a/Quotient-Paper/document/root.tex	Wed Jun 23 15:59:43 2010 +0100
+++ b/Quotient-Paper/document/root.tex	Wed Jun 23 22:41:16 2010 +0100
@@ -45,8 +45,8 @@
 non-empty types. Both extensions are often performed in quotient
 constructions. To ease the work involved with such quotient constructions, we
 re-implemented in Isabelle/HOL the quotient package by Homeier. In doing so we
-extended his work in order to deal with compositions of quotients. We also
-designed our quotient package so that every step in a quotient construction
+extended his work in order to deal with compositions of quotients. Like his
+package, we designed our quotient package so that every step in a quotient construction
 can be performed separately and as a result we are able to specify completely
 the procedure of lifting theorems from the raw level to the quotient level.
 The importance for programming language research is that many properties of




