diff options
| author | coq | 2006-01-18 12:19:40 +0000 |
|---|---|---|
| committer | coq | 2006-01-18 12:19:40 +0000 |
| commit | a0221d0a301433e232356c3daa62fc53fa93a01a (patch) | |
| tree | 6fa8fe3447018d9cdade61762fae38dac433acb3 /make.result | |
| parent | 9bef2f293537ed9dd99904554482bc29ba40cbb4 (diff) | |
Recursive Definition now supports functions with more than one argument.
Julien
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7887 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'make.result')
0 files changed, 0 insertions, 0 deletions