diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-12-05 11:05:02 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-05-28 09:38:36 -0400 |
| commit | 954a125f4470cf7d723cd78b003a4cf8c17ca3f6 (patch) | |
| tree | 711980bf2c9f492983015bfa270b5940e04d81b5 /toplevel/vernac.ml | |
| parent | 7043cedcd0b5d02f3dff51f403b9c0fa1a28892c (diff) | |
Use [rew] notations rather than [eq_rect]
As per Hugo's request in
https://github.com/coq/coq/pull/384#issuecomment-264891011
Diffstat (limited to 'toplevel/vernac.ml')
0 files changed, 0 insertions, 0 deletions