FSet.thy
2009-12-02 Cezary Kaliszyk The conversion approach works.
less more (0) -100 -30 -10 -1 tip