FSet.thy
2009-12-04 Cezary Kaliszyk Changed FOCUS to SUBGOAL in rep_abs_rsp_tac; another 20% speedup :)
2009-12-04 Cezary Kaliszyk Changing FOCUS to CSUBGOAL (part 1)
2009-12-04 Cezary Kaliszyk More code cleaning and name changes
2009-12-04 Cezary Kaliszyk More name changes
2009-12-04 Cezary Kaliszyk merge
2009-12-04 Cezary Kaliszyk Removed previous inj_repabs_tac
2009-12-04 Christian Urban some tuning
2009-12-04 Cezary Kaliszyk Using APPLY_RSP1; again a little bit faster.
less more (0) -100 -30 -10 -8 tip