In the "Search HOL" box use the following to make an advanced search...

A phrase that is enclosed within double quote " " characters matches only results that contain the phrase literally, as it was typed.

A leading plus sign indicates that this word must be present in each result that is returned.

A leading minus sign indicates that this word must not be present in each result that is returned.

The asterisk serves as the truncation (or wildcard) operator. Unlike the other operators, it should be appended to the word to be affected. Words match if they begin with the word preceding the * operator.

A leading minus sign indicates that this word must not be present.


Click Here For A Customizable Archives Display