diff options
| author | herbelin | 2000-01-13 20:46:05 +0000 |
|---|---|---|
| committer | herbelin | 2000-01-13 20:46:05 +0000 |
| commit | f5327ac32923f58f6e3efad5bf4d3537673dbdb3 (patch) | |
| tree | e0024012a27f5cbc3405f3945780a7fa36512e58 /dev | |
| parent | a25ab736af3b79559ceae828558195e1deb51a29 (diff) | |
Plus d'unfold inutile des Fix dans Simpl
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@276 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions