diff options
| author | herbelin | 2003-09-12 14:40:51 +0000 |
|---|---|---|
| committer | herbelin | 2003-09-12 14:40:51 +0000 |
| commit | 7dfc58207fc6a1eb50841640fb26aa8e32ca17c7 (patch) | |
| tree | f2ca4a2f44dfe8c7fe150acc6a3f00380f6f706d /dev/debugging.txt | |
| parent | d78ac151793dc8df15e7e687e5e20d5f48cd53d1 (diff) | |
Scope type pour le codomaine de Prod aussi
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4359 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/debugging.txt')
0 files changed, 0 insertions, 0 deletions