Nominal/FSet.thy
2010-04-19 Cezary Kaliszyk more metis cleaning
2010-04-19 Cezary Kaliszyk Getting rid of 'metis'.
2010-04-19 Cezary Kaliszyk Remove 'defer'.
less more (0) -10 -3 tip