Nominal/Ex1rec.thy
2010-03-30 Cezary Kaliszyk alpha
2010-03-23 Cezary Kaliszyk Move Ex1 and Ex2 out of Test
less more (0) tip