CONTRIBUTORS
author aspinall
Fri, 27 May 2005 13:51:32 +0200
changeset 16101 37471d84d353
parent 15994 dd9023d84f44
child 16252 8cddc62ed170
permissions -rw-r--r--
Add back rudely removed and popular -X option.


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

* May 2005: Florian Haftmann, TUM
  Several new antiquotation.

$Id$