Nominal/Abs.thy
2010-06-09 Christian Urban transitivity proofs done
2010-06-07 Christian Urban work on transitivity proof
2010-05-27 Christian Urban intermediate state
2010-05-24 Christian Urban alpha works now
2010-05-13 Christian Urban tuned eqvt-proofs about prod_rel and prod_fv
2010-05-11 Cezary Kaliszyk Declare alpha_gen_eqvt as eqvt and change the proofs that used 'eqvts[symmetric]'
less more (0) -30 -10 -6 tip