diff options
| author | Jason Gross | 2019-12-05 14:39:03 -0500 |
|---|---|---|
| committer | Jason Gross | 2019-12-26 13:31:02 -0500 |
| commit | d5b15b97afbdb324d708d24cb1032a1a15d0c680 (patch) | |
| tree | c4ae974bcc12887cf2a03edf55eafc0d34a65f3b /kernel/declarations.ml | |
| parent | 7d1138657904e5fe8ce1899daa001972ba820545 (diff) | |
Add rew dependent Notations
This way when users `Import EqNotations`, we get pretty-printing for
equality `match` statements too.
Diffstat (limited to 'kernel/declarations.ml')
0 files changed, 0 insertions, 0 deletions