diff options
| author | desmettr | 2002-06-17 13:55:14 +0000 |
|---|---|---|
| committer | desmettr | 2002-06-17 13:55:14 +0000 |
| commit | 4ccaff6f99b6c3917b07103f330659db1e043bdb (patch) | |
| tree | 464bb6eb51c92daec74f566c8b7d88294b945545 /kernel | |
| parent | 3d4c856d295fba4015ccb92bfb8da7f08f3679e5 (diff) | |
Prise en compte de exp, cosh et sinh
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2791 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions