Nominal/TySch.thy
2010-02-26 Cezary Kaliszyk Permutation and FV_Alpha interface change.
2010-02-25 Cezary Kaliszyk Forgot to add one file.
less more (0) tip