Nominal/Ex/Lambda.thy
2010-04-09 Christian Urban renamed ExLam to Lambda and completed the proof of the strong ind principle; tuned paper
less more (0) tip