Nominal/Lift.thy
Tue, 02 Mar 2010 15:11:41 +0100 Cezary Kaliszyk Working bv_eqvt
Tue, 02 Mar 2010 14:24:57 +0100 Cezary Kaliszyk More fixes for new alpha, the whole lift script should now work again.
Mon, 01 Mar 2010 21:50:24 +0100 Cezary Kaliszyk Trying to prove equivariance.
less more (0) -3 tip