diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-02-24 16:08:14 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-02-24 16:08:14 -0500 |
| commit | 70547c94321f6cb611b5c704c34407f364dd5545 (patch) | |
| tree | c6814ba9a48630106013bdd778370dea14587bed /src/coq/Axioms.v | |
| parent | 11809629254afd8ea304b98b840bd9a1aea29f6c (diff) | |
Coq formalization uses TDisjoint
Diffstat (limited to 'src/coq/Axioms.v')
0 files changed, 0 insertions, 0 deletions