Function: Info-search-case-sensitively

Search for a regexp case-sensitively.