IntEx.thy
2009-11-24 Christian Urban explicit phases for the cleaning
2009-11-24 Christian Urban addded a tactic, which sets up the three goals of the `algorithm'
less more (0) -30 -10 -2 tip