Nominal/Ex/SingleLet.thy
2010-07-27 Christian Urban fixed order of fold_union to make alpha and fv agree
2010-07-25 Christian Urban added paper by james; some minor cleaning
2010-07-17 Christian Urban tests
less more (0) -30 -10 -3 tip