Nominal/FSet.thy
2010-03-19 Cezary Kaliszyk A few more theorems in FSet.
2010-03-18 Cezary Kaliszyk Added a cleaned version of FSet.
less more (0) tip