diff options
| author | letouzey | 2008-05-22 11:38:05 +0000 |
|---|---|---|
| committer | letouzey | 2008-05-22 11:38:05 +0000 |
| commit | ad103001f8a1eb89f7bec07a0bdecaf19f129c73 (patch) | |
| tree | 5ebc54032ccaf575544da12a05040d2716998464 /kernel/make-opcodes | |
| parent | c941fc98f9a707b2a81eb3a1b36d1f497632b04b (diff) | |
QRewrite is now obsolete. It was containing manual ltac stuff
for helping rewriting under Quantifiers and binders, but Matthieu's
setoid rewrite now has the same kind of capabilities by default.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10966 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/make-opcodes')
0 files changed, 0 insertions, 0 deletions