# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1270117166 -7200
# Node ID 24cc3dbd3c4a20e46171fa31c8dd9d85be9f1bfb
# Parent  014a4ef807dcbe61e67106b38bcda5c2e59152d3
minor

diff -r 014a4ef807dc -r 24cc3dbd3c4a Paper/Paper.thy
--- 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