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 | 0d05a92e260650352ad72af1af3b1218d5102822 (patch) | |
| tree | c6814ba9a48630106013bdd778370dea14587bed /src/elab_env.sig | |
| parent | d4452116d68b41b3c829d830f3fa9f2a275e36ec (diff) | |
Coq formalization uses TDisjoint
Diffstat (limited to 'src/elab_env.sig')
0 files changed, 0 insertions, 0 deletions