aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/QArith
diff options
context:
space:
mode:
authorGravatar msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7>2007-02-28 09:16:44 +0000
committerGravatar msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7>2007-02-28 09:16:44 +0000
commit1dc68aafe1dbf186cb6b851eaba95174ec636841 (patch)
treee912e1477877622331e142bdea26af83656d74d0 /theories/QArith
parent96bbd57fe237b766ae734802e23d28bcade22fa4 (diff)
The right tactics for definitions using measures.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9683 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/QArith')
0 files changed, 0 insertions, 0 deletions