Nominal/Unused.thy
2010-05-14 Cezary Kaliszyk Proper fv/alpha for multiple compound binders
2010-05-12 Cezary Kaliszyk Move alpha_eqvt to unused.
less more (0) tip