diff options
| author | sacerdot | 2004-09-30 16:26:35 +0000 |
|---|---|---|
| committer | sacerdot | 2004-09-30 16:26:35 +0000 |
| commit | 8a00bdd6d838f65601ed9006671a8afcb9a1890d (patch) | |
| tree | 2cb394f0694d3f3f8deb7485719a83c45c89bee3 /dev/include | |
| parent | 03a61c73a53ce64b8334cefd0df9041bf891d15b (diff) | |
New tactic [setoid_]rewrite ... in ... [generate side conditions ...].
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6165 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions