diff options
| author |  msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-03-29 11:20:45 +0000 |
|---|---|---|
| committer | msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-03-29 11:20:45 +0000 |
| commit | 0b6924f05ef6beb775345f3fb2ad21a009ab3baa (patch) | |
| tree | 4520f5ab6cf615539df15821466d57240851d3d8 /doc | |
| parent | 22cc653ceff98ea69d0975ee0ccdcecc4ba96058 (diff) | |
Fix test-suite files, change conflicting notation "->rel" and the others
to "-R>" and the like. Split more precisely in inference of case
predicate between the new code which currently works only for matched
variables and the old one which works better on variables appearing in matched
terms types (the two could also be merged).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10729 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions