wenzelm@15968: 
wenzelm@15968: * May 2005: Rafal Kolanski, NICTA
wenzelm@15968:   Substantially improved retrieval of facts from theory/proof context.
wenzelm@15993: 
wenzelm@15993: * May 2005: Florian Haftmann, TUM
wenzelm@15993:   Several new antiquotation.