Nominal/Manual/LamEx2.thy
2010-03-23 Cezary Kaliszyk Move lambda examples to manual
less more (0) tip