Nominal/TestMorePerm.thy
2010-03-23 Cezary Kaliszyk Move examples which create more permutations out
less more (0) tip