is there a way to do advanced find?
I can search Theorem in preview but it gives both theorem and Theorem
How do I list all the theorems and lemmas in a pdf copy of CLRS?
for e.g all theorems start with Theorem x.x and lemmas with Lemma x.x
Skim can do case sensitive search. Click the magnifying glass icon on the left of the search field and select Ignore Case. The search in the sidebar can also be limited to Whole Words Only (so it doesn't match Theorems). 


On Linux I use pdfgrep which has full regex support. It is available for Mac. 

