--- a/Paper/Paper.thy	Fri Oct 08 23:49:18 2010 +0100
+++ b/Paper/Paper.thy	Fri Oct 08 23:53:51 2010 +0100
@@ -811,7 +811,7 @@
   \noindent
   This theorem states that the bound names do not appear in the support.
   For brevity we omit the proof and again refer the reader to
-  our formalisation in Isabelle/HOL.
+  our formalisation in Isabelle/HOL (or the appendix).
 
   %\noindent
   %Below we will show the first equation. The others