Nominal/Manual/LamEx.thy
2010-03-26 Cezary Kaliszyk Removed remaining cheats + some cleaning.
2010-03-26 Cezary Kaliszyk Fix Manual/LamEx for experiments.
2010-03-23 Cezary Kaliszyk Move lambda examples to manual
less more (0) tip