find_consts: display the search criteria. (by Timothy Bourke)
find_consts: display the search criteria. (by Timothy Bourke)

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