diff options
| author | courtieu | 2006-04-28 17:10:12 +0000 |
|---|---|---|
| committer | courtieu | 2006-04-28 17:10:12 +0000 |
| commit | a46abe18b97fda1f56d8cef16882924542e9c1e9 (patch) | |
| tree | 198d4ef560f098bdab1ad808b47d2f1f5420659f /scripts | |
| parent | c864695069da8f83a488261d9e842bfba970d114 (diff) | |
Continue l'écriture de la doc de "Function". Pas fini, manque:
- relecture par YB et JF
- adaptation de la partie functional induction
- écriture de la partie functional inversion
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8770 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions