diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-11 00:56:52 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-11 02:08:34 -0500 |
| commit | d18c285997255051579ff4d3d761cdeb8a4ec75b (patch) | |
| tree | 24ce00bfc97faccdfbef29a74d991533fe9f7f02 /_CoqProject | |
| parent | 40de730b6a5fd77769720cd9af87047e3f557cec (diff) | |
First intro and split in Zring_prod_eq_tac, before cbv -
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions