diff options
| author |  Jason Gross <jagro@google.com> | 2018-08-08 11:24:16 -0400 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2018-08-08 11:24:16 -0400 |
| commit | a8cfa61b23b1ef8e08188e3bcf8b5b6597108723 (patch) | |
| tree | 2b42327c7dffc608f75b7525b0c2d0ac9156dce3 /src/Experiments/NewPipeline/arith_rewrite_head.out | |
| parent | 093d72f2aec27f9a9cb34f74ba24ca00f06d5f73 (diff) | |
Reserve 'n notation in Notations.v
The level comes from theories/QArith/QArith_base.v in v8.5.
Diffstat (limited to 'src/Experiments/NewPipeline/arith_rewrite_head.out')
0 files changed, 0 insertions, 0 deletions