Nominal/Ex/Lambda.thy
2010-05-21 Cezary Kaliszyk Function experiments
less more (0) -30 -10 -1 tip