diff options
author | 2007-05-25 16:46:27 +0000 | |
---|---|---|
committer | 2007-05-25 16:46:27 +0000 | |
commit | 5e7d37af933a6548b2194adb5ceeaff30e6bb3cb (patch) | |
tree | 5e1764565a870b5ae6d5de83a89cd5c8e21a86c1 /theories/FSets/FSetWeakInterface.v | |
parent | 46dcebf37f85781cc7f622f1bec7314bc6af26d5 (diff) |
fix for bug #1347 (no more Scope pollution by FSets)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9861 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/FSets/FSetWeakInterface.v')
0 files changed, 0 insertions, 0 deletions