diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-03-22 14:39:53 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-03-22 14:39:53 +0000 |
| commit | a2ce571b14985a5d36d217ac86560093c71ed727 (patch) | |
| tree | b1b539ccf0c113ee04f1a1910c976f1b6145a03b /CREDITS | |
| parent | 2e1e3f84bd88243cf370f7887cca6cbdcf5fd992 (diff) | |
Bug MUTCASE au lieu CASE
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1476 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'CREDITS')
0 files changed, 0 insertions, 0 deletions