blanchet [Sat, 18 Dec 2010 21:07:34 +0100] rev 41273
made the relevance filter treat unatomizable facts like "atomize_all" properly (these result in problems that get E spinning seemingly forever);
disabled inductions (E and SPASS don't like them), but kept "ext" (seems more harmless)