Quotient-Paper/document/root.tex
changeset 2223 c474186439bd
parent 2220 2c4c0d93daa6
child 2224 f5b6f9d8a882
--- a/Quotient-Paper/document/root.tex	Fri Jun 11 17:52:06 2010 +0200
+++ b/Quotient-Paper/document/root.tex	Fri Jun 11 21:58:25 2010 +0200
@@ -32,7 +32,7 @@
 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. Also, we
 designed our quotient package so that every step in a quotient construction
-can be performed separately and as a result we were able to specify completely
+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
 programming language calculi are easier to verify over $\alpha$-equated, or