Quot/Nominal/LFex.thy
2010-01-28 Cezary Kaliszyk Ported existing part of LF to new permutations and alphas.
less more (0) tip