diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-05-13 13:22:18 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-05-13 13:22:18 -0400 |
| commit | de7a98b8711f13f9b9bba016c1d19db730479c8e (patch) | |
| tree | 0197918f3728244062172077626a878c63c05ce1 /src/Util/Notations.v | |
| parent | a680811dcbd532f3bdc55bc1ac3437e761359469 (diff) | |
Add Zdiv_0_r to zsimplify
Diffstat (limited to 'src/Util/Notations.v')
0 files changed, 0 insertions, 0 deletions