Nominal/Ex/SingleLet.thy
2010-07-27 Christian Urban tests
2010-07-27 Christian Urban cleaned up a bit Abs.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
less more (0) -30 -10 -4 tip