Unused.thy
2009-11-09 Cezary Kaliszyk Cleaning and commenting
2009-10-28 Cezary Kaliszyk cleaned FSet
2009-10-15 Cezary Kaliszyk Reordering the code, part 3
less more (0) tip