diff options
author | Jason Gross <jgross@mit.edu> | 2016-12-05 11:13:15 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-05-28 09:38:36 -0400 |
commit | 94958a408aac22f35165fb3eb571f1c3310f060b (patch) | |
tree | 5a6f41192e5653cb334c3dc087649c29fbc59b61 /CREDITS | |
parent | 7cecf9a675145a4171bf8c8b6bb153caee93d503 (diff) |
Use [rew] notations rather than [eq_rect]
As per Hugo's suggestion in
https://github.com/coq/coq/pull/384#issuecomment-264891011
Diffstat (limited to 'CREDITS')
0 files changed, 0 insertions, 0 deletions