name : string -> term

SYNOPSIS: Query to search for a theorem whose name contains a string.
DESCRIPTION: The function name is intended for use solely with the search function.
FAILURE CONDITIONS: Never fails.
SEE ALSO: search.