Nominal/NewAlpha.thy
2010-04-29 Cezary Kaliszyk New Alpha.
less more (0) tip