CONTRIBUTORS
author wenzelm
Tue, 31 May 2005 11:53:29 +0200
changeset 16138 727c5e32930e
parent 15994 dd9023d84f44
child 16252 8cddc62ed170
permissions -rw-r--r--
added is_ident (from Syntax/lexicon.ML);


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

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

$Id$