diff options
| author | bgregoir | 2007-01-24 10:34:10 +0000 |
|---|---|---|
| committer | bgregoir | 2007-01-24 10:34:10 +0000 |
| commit | baa006bc1d14f77fc8477cff25f22d5074b1f991 (patch) | |
| tree | b1ee4f157d3df92dc9f98050f22db71b091556bf /kernel | |
| parent | 8a2dd7d914fdfe91639b4078b3c4ce2c758a13c9 (diff) | |
changement de la fonction norm_subst
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9529 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions