# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1270137386 -7200
# Node ID 6bf14c13c2915b76b3853d60ccccabf87f575fa3
# Parent  0bb0f6e662a43dbdea456f80204134ed5948f08b
merged

diff -r 0bb0f6e662a4 -r 6bf14c13c291 Paper/Paper.thy
--- 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