Nominal/Manual/LamEx2.thy
2010-07-16 Christian Urban submitted version
2010-07-16 Christian Urban more on the paper
2010-03-23 Cezary Kaliszyk Move lambda examples to manual
less more (0) tip