diff options
author | puech <puech@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-07-29 14:30:26 +0000 |
---|---|---|
committer | puech <puech@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-07-29 14:30:26 +0000 |
commit | a16fbc7c332414af9c6e8e54080ce049acdf595f (patch) | |
tree | 8ec3473a6813fe0cfa88201d6cb83a48597dc99a /install.sh | |
parent | 1013117e5bfee396c5746cc851bdc72f6330d0ea (diff) |
Quote: replaced various generic = on constr by eq_constr, destructors etc.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14374 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'install.sh')
0 files changed, 0 insertions, 0 deletions