Nominal/TySch.thy
Thu, 11 Mar 2010 19:24:07 +0100 Cezary Kaliszyk Trying to prove atom_image_fresh_swap
Fri, 26 Feb 2010 13:57:43 +0100 Cezary Kaliszyk Permutation and FV_Alpha interface change.
Thu, 25 Feb 2010 14:14:40 +0100 Cezary Kaliszyk Forgot to add one file.
less more (0) tip