diff options
| author |  desmettr <desmettr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-07-02 10:47:22 +0000 |
|---|---|---|
| committer | desmettr <desmettr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-07-02 10:47:22 +0000 |
| commit | b2cf417b63a00f3a4944edf59f6e11aecf19fd01 (patch) | |
| tree | a274c18e30414054a828748ff210fe57901477b9 /pretyping/reductionops.mli | |
| parent | 7cf6823fd4b9a20c1f84bc9f67cc43017f624dfc (diff) | |
Suppression de l'axiome arc_sin_cos
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2823 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping/reductionops.mli')
0 files changed, 0 insertions, 0 deletions