LFex.thy
2009-11-30 Cezary Kaliszyk clean_tac rewrites the definitions the other way
less more (0) -10 -1 tip