diff options
| author | Michael Soegtrop | 2020-04-01 16:38:17 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2020-05-17 09:43:42 +0200 |
| commit | e6b295a62a82df6fa92b559bb3ce079d5fa42240 (patch) | |
| tree | 3e029fc5c501e51feba8b4637c542e025f4de708 /Makefile.dev | |
| parent | d81bb4085ccad294cb1edd59ed5e0f9fd4d3b23a (diff) | |
Ltac2: add notations for eval cbv in ... and other in place reductions
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions