Quot/Examples/LamEx.thy
2010-01-14 Christian Urban nearly all of the proof
2010-01-14 Christian Urban right generalisation
less more (0) -10 -2 tip