diff options
| author | herbelin | 2011-11-21 11:41:00 +0000 |
|---|---|---|
| committer | herbelin | 2011-11-21 11:41:00 +0000 |
| commit | 58b3b279e2c112544fcaf5d25c8f5ef48190f483 (patch) | |
| tree | 6bcbe7e943b15e62b91980b11f62d25be6a0be83 /dev | |
| parent | 88cde235fd675e839843b022e00a23e360accabf (diff) | |
Dead code + refreshing some comments in cases.ml.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14699 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions