Nominal/Ex/SingleLetFoo.thy
Fri, 14 May 2010 17:40:43 +0100 Christian Urban polished example
Fri, 14 May 2010 15:37:23 +0200 Cezary Kaliszyk Proper fv/alpha for multiple compound binders
Fri, 14 May 2010 10:28:42 +0200 Cezary Kaliszyk SingleLetFoo with everything.
less more (0) tip