% $Id: acknow.tex,v 1.4 2008/01/25 13:30:19 logik Exp $
\subsection*{Acknowledgements}
The \textsc{Minlog} system has been under development since around 1990.
My sincere thanks go to the many contributors:  
% Klaus Aehlig (many contributions, in particular efficiency related issues),
Holger Benl (Dijkstra algorithm, inductive data types),
Ulrich Berger (very many contributions),
Michael Bopp (program development by proof transformation),
Wilfried Buchholz (translation of classical proof into intuitionistic ones),
Laura Cro\-silla (tutorial),
Matthias Eberl (normalization by evaluation),
Dan Hernest (functional interpretation),
Felix Joachimski (many contributions, in particular translation of classical
proofs into intuitionistic ones, producing Tex output, documentation),
Ralph Matthes (documentation),
Karl-Heinz Niggl (program development by proof transformation),
Jaco van de Pol (experiments concerning monotone functionals),
Martin Ruckert (many contributions, in particular the MPC tool),
Robert St\"ark (alpha equivalence),
Monika Seisenberger (many contributions, including inductive definitions and
translation of classical proofs into intuitionistic ones),
Klaus Weich (proof search, the Fibonacci numbers example),
Wolfgang Zuber (documentation).

