diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-01-08 17:32:26 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-01-08 17:32:26 +0100 |
| commit | c912ffbcbb2fda387854ecd193f06fb967e5add6 (patch) | |
| tree | 50eebc5b399df0494453af21c5805d1b1cec2af3 /doc/whodidwhat | |
| parent | b92fff621cce1576c93fab9276fb41ea85e10982 (diff) | |
Small fix in whodidwhat 8.5.
Diffstat (limited to 'doc/whodidwhat')
| -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} |