diff options
author | sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-11-16 16:02:04 +0000 |
---|---|---|
committer | sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-11-16 16:02:04 +0000 |
commit | 786dbc4a589442275ab012b36d991c6408e24cef (patch) | |
tree | dc12f5f11163c5a2b7776c720e1cafc5864672b4 /theories/Setoids | |
parent | b01b06d3a843c97adc6c0a0621b8d681c10fa6fe (diff) |
dead (and obsolete) code (in comments) removed
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6305 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Setoids')
0 files changed, 0 insertions, 0 deletions