HOL-Theorem-Prover/HOL — pull request #220 by jeremydaw (2014-12-30 00:46:23+00:00)
Title: Trial

If a call to find or apropos returns too many results it can be convenient to do a further search within only the previous results. Thus getting the effect of the intersection of two searches, eg theorems whose name contains str and whose conclusion contains subterm matching pat