diff options
| author | herbelin | 2000-12-25 18:49:09 +0000 |
|---|---|---|
| committer | herbelin | 2000-12-25 18:49:09 +0000 |
| commit | a08516ac5684d1e221f0dd65cb5d0c279ddcc1d1 (patch) | |
| tree | 70391850b4e6501b8bb7b2a7a320af9ff6530abc /kernel | |
| parent | e1bf6d52d32abfe2b371015fe83a8cf6d2c787a1 (diff) | |
find_section_variable : un traducteur id -> sp pour variables de section; variable_strength change de type
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1204 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions