diff options
| author |  marche <marche@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-11-10 14:43:54 +0000 |
|---|---|---|
| committer | marche <marche@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-11-10 14:43:54 +0000 |
| commit | 240085a6230da6674c818253e580aef5149bce36 (patch) | |
| tree | d0a679f3ab34bf2865b2950b1e5a68783070c40f /plugins/dp/tests.v | |
| parent | c46a640aaf9ec4fec52c5b76d32fce68414f6e7d (diff) | |
use only why-dp, support for z3
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12491 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/dp/tests.v')
0 files changed, 0 insertions, 0 deletions