Attic/Quot/Examples/FSet_BallBex.thy
2010-08-30 Cezary Kaliszyk No need to unfold mem_def with rsp/prs (requires new isabelle).
2010-08-27 Cezary Kaliszyk Ball Bex can be lifted after unfolding.
less more (0) tip