CONTRIBUTORS
changeset 15993 99320adfbf3a
parent 15968 c4e8a6af2235
child 15994 dd9023d84f44
equal deleted inserted replaced
15992:cb02d70a2040 15993:99320adfbf3a
     1 
     1 
     2 * May 2005: Rafal Kolanski, NICTA
     2 * May 2005: Rafal Kolanski, NICTA
     3   Substantially improved retrieval of facts from theory/proof context.
     3   Substantially improved retrieval of facts from theory/proof context.
       
     4 
       
     5 * May 2005: Florian Haftmann, TUM
       
     6   Several new antiquotation.