relevance_filter takes input axioms as Term.term.
(* Title: CCL/ex/ROOT.ML
ID: $Id$
Author: Martin Coen, Cambridge University Computer Laboratory
Copyright 1993 University of Cambridge
Examples for Classical Computational Logic.
*)
time_use_thy "Nat";
time_use_thy "List";
time_use_thy "Stream";
time_use_thy "Flag";