diff options
| author | herbelin | 2006-03-05 10:56:31 +0000 |
|---|---|---|
| committer | herbelin | 2006-03-05 10:56:31 +0000 |
| commit | 73a86067cdb72a260164caec8d30029de3c0b10e (patch) | |
| tree | a33d83fde72a8a6a104150a3eb892c4d4b435714 /dev/doc/parse.ml | |
| parent | ec0999d90b7bce9c0f61300be7bc3e0016f12fbf (diff) | |
Ajout étude IP généralisé, Gödel-Dummett, buveur
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8131 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/doc/parse.ml')
0 files changed, 0 insertions, 0 deletions