Nominal/Ex3.thy
2010-03-23 Cezary Kaliszyk Move example3 out.
less more (0) tip