CONTRIBUTORS

tuned instantiate (avoid subst_atomic, subst_atomic_types);
Logic.incr_tvar;

* July 2005: Florian Haftmann, TUM
  Some combinators for linear functional transformations in ML:
  |->  #->  fold_map  etc.

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

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

* February 2005: Lucas Dixon, University of Edinburgh
  Substantially improved subst method.

$Id$