diff options
Diffstat (limited to 'doc/whodidwhat/whodidwhat-8.5update.tex')
-rw-r--r-- | doc/whodidwhat/whodidwhat-8.5update.tex | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/whodidwhat/whodidwhat-8.5update.tex b/doc/whodidwhat/whodidwhat-8.5update.tex index 78b7b1d3e..5b7da70ac 100644 --- a/doc/whodidwhat/whodidwhat-8.5update.tex +++ b/doc/whodidwhat/whodidwhat-8.5update.tex @@ -82,7 +82,10 @@ Matthieu Sozeau \item Canonical structures: Amokrane Saïbi \item Type classes: Matthieu Sozeau -\item Functional schemes (\texttt{Function}, \texttt{Functional Scheme}, ...): Julien Forest and Pierre Courtieu (preliminary version by Yves Bertot) +\item Function (\texttt{Function}, \texttt{functional induction}...): + Julien Forest (preliminary versions by Pierre Courtieu + (\texttt{Functional Schemes}) and Yves Bertot (\texttt{Recursive + Definition})) \item Generation of induction schemes: Christine Paulin, Vincent Siles, Matthieu Sozeau \end{itemize} |