CONTRIBUTORS

tuned norm_sort, mg_domain;

* 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$