# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1286578431 -3600
# Node ID d65a19b070bbccf52d48ccab62025a0f49ae0923
# Parent  3e9b4ce0aeca46302f60ff1b3838cb74bb71ecc8
tuned

diff -r 3e9b4ce0aeca -r d65a19b070bb Paper/Paper.thy
--- 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