diff options
author | 2009-02-24 16:08:14 -0500 | |
---|---|---|
committer | 2009-02-24 16:08:14 -0500 | |
commit | 70547c94321f6cb611b5c704c34407f364dd5545 (patch) | |
tree | c6814ba9a48630106013bdd778370dea14587bed /src/coq/README | |
parent | 11809629254afd8ea304b98b840bd9a1aea29f6c (diff) |
Coq formalization uses TDisjoint
Diffstat (limited to 'src/coq/README')
0 files changed, 0 insertions, 0 deletions