# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1309881714 -7200
# Node ID adf22ee09738b8b1ca73e73d56f53660025a3fed
# Parent  b0b2adafb6d2f060dc10cf2ea484cdb878a8cc32
side commment for future use

diff -r b0b2adafb6d2 -r adf22ee09738 Pearl-jv/Paper.thy
--- a/Pearl-jv/Paper.thy	Tue Jul 05 16:22:18 2011 +0200
+++ b/Pearl-jv/Paper.thy	Tue Jul 05 18:01:54 2011 +0200
@@ -502,6 +502,8 @@
 section {* Equivariance *}
 
 text {*
+  (mention alpha-structural paper by Andy)
+
   Two important notions in the nominal logic work are what Pitts calls
   \emph{equivariance} and the \emph{equivariance principle}.  These
   notions allows us to characterise how permutations act upon compound