LFex.thy
2009-12-04 Cezary Kaliszyk Using APPLY_RSP1; again a little bit faster.
less more (0) -30 -10 -1 tip