Use Google to search the archive. It will look in entry descriptions as well as in the Isabelle theories and PDF proof documents.
Google may take some time to index new pages. Very new Submissions might be missed.