diff options
| author | clrenard | 2001-07-10 12:04:17 +0000 |
|---|---|---|
| committer | clrenard | 2001-07-10 12:04:17 +0000 |
| commit | 47b05fc01cfc977201f84d1af1e1415f84cf39dc (patch) | |
| tree | 694d86d44c9ea8c62adaf6c6aa1bf0fe0a3b5cfa /kernel/term.ml | |
| parent | efe54347f3c6ebdced8142c5656c05ff46caa693 (diff) | |
Changement de place de la tactique Setoid_rewrite et renommage
en Rewrite. Le choix entre egalite de Leibnitz et egalite de
setoide est fait automatiquement
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1841 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/term.ml')
0 files changed, 0 insertions, 0 deletions