Nominal/FSet.thy
2010-06-16 Christian Urban conclusion done
2010-06-15 Cezary Kaliszyk Qpaper / Clarify the typing system and composition of quotients issue.
2010-06-14 Cezary Kaliszyk merge
2010-06-14 Cezary Kaliszyk qpaper/unfold the ball_reg_right statement
less more (0) -30 -10 -4 tip