Nominal/Test_compat1.thy
2010-03-09 Cezary Kaliszyk Trying to prove that old alpha is the same as new recursive one. Lets still to do.
2010-03-09 Cezary Kaliszyk fv_bi and alpha_bi
2010-03-09 Christian Urban added first test about new compat
less more (0) tip