diff options
| author |  vsiles <vsiles@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-05-16 09:31:53 +0000 |
|---|---|---|
| committer | vsiles <vsiles@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-05-16 09:31:53 +0000 |
| commit | f2145e3d67e2889f38ad6e2aa475edc55d134c66 (patch) | |
| tree | 999ea6a1033d3618a83e8fe0a199450b90c85a78 /plugins/rtauto/Bintree.v | |
| parent | 449a02d3a3fb4c63cd6732b28c9c629c8bb3bb5d (diff) | |
turn the automatic generation of boolean equality
off, as it should be since 8.3
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14125 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/rtauto/Bintree.v')
0 files changed, 0 insertions, 0 deletions