diff options
author | 2009-11-02 18:50:33 +0000 | |
---|---|---|
committer | 2009-11-02 18:50:33 +0000 | |
commit | 0fb8601151a0e316554c95608de2ae4dbdac2ed3 (patch) | |
tree | eef149e1c23427c2bd4943cf72b3a276a3a82808 /theories/Bool/Sumbool.v | |
parent | d70800791ded96209c8f71e682f602201f93d56b (diff) |
Remove various useless {struct} annotations
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12458 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Bool/Sumbool.v')
0 files changed, 0 insertions, 0 deletions