diff options
| author | herbelin | 2000-11-24 21:16:54 +0000 |
|---|---|---|
| committer | herbelin | 2000-11-24 21:16:54 +0000 |
| commit | dd362f52913c4e845a24f37af4198b93342dbc3a (patch) | |
| tree | ae2b083bb23a2ab6735fda11c83c0fcec71de244 /dev | |
| parent | 967a8226b851807184f1d537f4ce138575d261b0 (diff) | |
Réorganisation autour de globalize_constr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@952 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions