Searching Isabelle

1. To search for theorems and constants inside imported sessions, check out this tutorial.
2. For a string- and entity-based search platform including the AFP, check out search.isabelle.in.tum.de.
3. For a concept-oriented search platform including the AFP, check out SErAPIS.