diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-12-30 10:42:58 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-12-30 10:42:58 +0000 |
| commit | a9ecdc7a464addad0fb9749cc57ed9f99c8948a2 (patch) | |
| tree | c7ccacd5f09e0340befab11f422762df8f1446e1 /tactics/eqdecide.ml4 | |
| parent | 7051772f935206a9a81bfef4de66c814b9ec8dab (diff) | |
Ajout booléens; nettoyage
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7758 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tactics/eqdecide.ml4')
0 files changed, 0 insertions, 0 deletions