--- a/Paper/Paper.thy	Thu Apr 01 12:13:25 2010 +0200
+++ b/Paper/Paper.thy	Thu Apr 01 12:19:26 2010 +0200
@@ -1845,7 +1845,7 @@
 
 text {*
   We have presented an extension for Nominal Isabelle in order to derive a
-  convenient reasoning infrastructure for term-constuctors binding multiple
+  convenient reasoning infrastructure for term-constructors binding multiple
   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