findI/Es/E: adapted to FindTheorems.find_XXX, results use thmref instead of string;
* May 2005: Rafal Kolanski, NICTA Substantially improved retrieval of facts from theory/proof context.* May 2005: Florian Haftmann, TUM Several new antiquotation.$Id$