Quot/Nominal/LFex.thy
2010-01-29 Cezary Kaliszyk equivariance of rfv and alpha.
2010-01-29 Cezary Kaliszyk Added the experiments with fun and function.
2010-01-28 Cezary Kaliszyk Ported existing part of LF to new permutations and alphas.
less more (0) tip