diff options
| author | msozeau | 2010-07-15 15:34:06 +0000 |
|---|---|---|
| committer | msozeau | 2010-07-15 15:34:06 +0000 |
| commit | 7bc1e9c50f2e29cca54334a88df847f6f7d4e9c3 (patch) | |
| tree | b06b72413e2237feb53b17ee759be1cebe24969b /kernel/cbytecodes.ml | |
| parent | b0d9678f24255554e763da3e594868da72e858b6 (diff) | |
Be more clever when trying to find out the relation in
reflexivity/symmetry/transitivity, reabstracting arguments if necessary.
Makes instances on [_ <> _] work.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13283 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions