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)
(* Title: HOL/Prolog/ROOT.ML
ID: $Id$
Author: David von Oheimb (based on a lecture on Lambda Prolog by Nadathur)
*)
use_thys ["Test", "Type"];