diff options
| author | desmettr | 2002-07-31 09:47:49 +0000 |
|---|---|---|
| committer | desmettr | 2002-07-31 09:47:49 +0000 |
| commit | 295e0da7cddce4b71ab6a8257ef3e7ee75ab46ba (patch) | |
| tree | 9d36d72e142ec91a2909f45bcecb6850d33f2f49 /dev/include | |
| parent | dcb8ef9e3093b868c67ea7f541b4f5d018f2b8d1 (diff) | |
Proprietes de l'exponentielle
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2945 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions