1
2 * May 2005: Rafal Kolanski, NICTA
3 Substantially improved retrieval of facts from theory/proof context.