add option to relevance filter's "all_facts" function to really get all facts (needed for some experiments)
add option to relevance filter's "all_facts" function to really get all facts (needed for some experiments)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle