diff options
author | Jason Gross <jgross@mit.edu> | 2017-05-17 01:38:06 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-05-17 01:38:06 -0400 |
commit | 7884130a89d07f4bbe1465126c06ca4c3927cb81 (patch) | |
tree | b033b2b3c4808e57b9a92f53f010dc16fff5ebe9 /src/Compilers/Z/InlineWf.v | |
parent | ffe32c0bbd6c940db25c7c643e7e566f5f9745db (diff) |
Ltac scope interprets some notations as errors, so we make anf a definition
Diffstat (limited to 'src/Compilers/Z/InlineWf.v')
0 files changed, 0 insertions, 0 deletions