Quot/Examples/LamEx.thy
2010-01-16 Christian Urban fixed broken (partial) proof
less more (0) -10 -1 tip