Attic/Quot/Examples/FSet_BallBex.thy
2010-08-27 Cezary Kaliszyk Ball Bex can be lifted after unfolding.
less more (0) tip