Nominal/Ex/Lambda.thy
Wed, 14 Apr 2010 13:21:11 +0200 Christian Urban first working version of the automatic equivariance procedure
Wed, 14 Apr 2010 10:29:34 +0200 Christian Urban preliminary tests
Tue, 13 Apr 2010 07:40:54 +0200 Christian Urban made everything to compile
less more (0) -3 tip