Nominal/Ex/SingleLet.thy
2010-09-27 Christian Urban post-processed eq_iff and supp threormes according to the fv-supp equality
2010-09-27 Christian Urban some experiments
less more (0) -30 -10 -2 tip