diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-09-27 15:13:43 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-09-27 15:13:43 -0400 |
| commit | d6c9be90fbcb0b41f02f1de8d872ef4b04446d6f (patch) | |
| tree | 67bc7b8ef07abf1b72d96992ceb4beb02dc9bb10 /_CoqProject | |
| parent | c6a0e469374bbdc67366894c87d1150be1445d40 (diff) | |
Add destruct_head_{False,Empty_set}
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions