Nominal/nominal_dt_alpha.ML
2010-06-22 Christian Urban proved eqvip theorems for alphas
2010-06-22 Christian Urban prove that alpha implies alpha_bn (needed for rsp proofs)
2010-06-11 Christian Urban also symmetry
2010-06-10 Christian Urban premerge
2010-06-09 Christian Urban transitivity proofs done
2010-06-07 Christian Urban work on transitivity proof
2010-05-26 Christian Urban added FSet to the correct paper
2010-05-24 Christian Urban added slides
2010-05-24 Christian Urban tuned
2010-05-24 Christian Urban tuned
less more (0) tip