diff options
| author | herbelin | 2000-03-21 00:06:21 +0000 |
|---|---|---|
| committer | herbelin | 2000-03-21 00:06:21 +0000 |
| commit | 5815f1d44085ae18e743ba914fcb942423a2d8ab (patch) | |
| tree | 9df483e01b22b0c1418730493a0959df4b743b85 /dev/base_include | |
| parent | f1684dd7722e42c9a2de12d14101098c3bf92036 (diff) | |
Déplacement des fonctions spécifiques du discharge qui était dans Generic; prise en compte du sp dans MutCase
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@342 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions