Nominal/Nominal2_Base.thy
Mon, 14 Mar 2011 16:35:59 +0100 Christian Urban equivariance for All and Ex can be proved in terms of their definition
Fri, 11 Mar 2011 08:51:39 +0000 Christian Urban more on the paper
Tue, 01 Mar 2011 00:14:02 +0000 Christian Urban a bit more tuning
less more (0) -30 -10 -3 tip