Nominal/Ex/SingleLetFoo.thy
2010-05-14 Christian Urban polished example
2010-05-14 Cezary Kaliszyk Proper fv/alpha for multiple compound binders
2010-05-14 Cezary Kaliszyk SingleLetFoo with everything.
2010-05-13 Christian Urban added a more instructive example - has some problems with fv though
less more (0) tip