Quot/Examples/FSet.thy
2009-12-08 Christian Urban merged
2009-12-08 Christian Urban implemented cleaning strategy with fun_map.simps on non-bounded variables; still a few rough edges
2009-12-08 Cezary Kaliszyk manually cleaned the hard lemma.
less more (0) -10 -3 tip