--- a/Paper/Paper.thy	Thu Apr 01 17:55:46 2010 +0200
+++ b/Paper/Paper.thy	Thu Apr 01 17:56:26 2010 +0200
@@ -1879,7 +1879,7 @@
 text {*
   We have presented an extension for Nominal Isabelle in order to derive a
   convenient reasoning infrastructure for term-constructors binding multiple
-  variables at once. This extension can deal with term-calculi, such as
+  variables at once. This extension can deal with term-calculi such as
   Core-Haskell. For such calculi, we can also derive strong induction
   principles that have the usual variable already built in. At the moment we
   can do so only with some manual help, but future work will automate them