Search though Isabelle's documents