Nominal/NewAlpha.thy
2010-05-12 Cezary Kaliszyk Use raw_induct instead of induct
2010-05-10 Cezary Kaliszyk Use mk_compound_fv' and mk_compound_rel'
2010-05-06 Cezary Kaliszyk Fixes for new Isabelle
2010-05-06 Cezary Kaliszyk compound versions with prod_rel and prod_fun, not made default yet.
2010-05-02 Christian Urban replaced make_pair with library function HOLogic.mk_prod
2010-04-30 Cezary Kaliszyk Change signature of fv and alpha generation.
2010-04-29 Cezary Kaliszyk New Alpha.
less more (0) tip