diff options
| author | herbelin | 2010-06-13 14:23:49 +0000 |
|---|---|---|
| committer | herbelin | 2010-06-13 14:23:49 +0000 |
| commit | 02f89d9e8598c03b2e9ab940f8f7b6ca333bd818 (patch) | |
| tree | 5905b87eb9ce1693043e6eb95e5888d98d82b1e9 /dev | |
| parent | 5011e3387172d1d7151019d5d3f64cb92abcc898 (diff) | |
Fixing definition of set_map (bug report #2111) which was actually already
incorrect when it was introduced in 1998. Proofs about it remain to be done...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13128 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions