summaryrefslogtreecommitdiff
path: root/src/monoize.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-02-24 16:08:14 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-02-24 16:08:14 -0500
commit0d05a92e260650352ad72af1af3b1218d5102822 (patch)
treec6814ba9a48630106013bdd778370dea14587bed /src/monoize.sig
parentd4452116d68b41b3c829d830f3fa9f2a275e36ec (diff)
Coq formalization uses TDisjoint
Diffstat (limited to 'src/monoize.sig')
0 files changed, 0 insertions, 0 deletions