Pearl-jv/Paper.thy
changeset 2949 adf22ee09738
parent 2821 c7d4bd9e89e0
--- 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