|author||Benjamin Barenblat <firstname.lastname@example.org>||2019-04-26 17:10:05 -0400|
|committer||Benjamin Barenblat <email@example.com>||2019-04-26 17:10:05 -0400|
Restore `Reserved Notation` directives for `$ x` and `# x`, which were commented out to avoid conflicts with bbv. Make both notations `at level 9, x at level 9`, which matches unary prefix operators throughout the rest of the development.
Diffstat (limited to 'src/Util/Equality.v')
0 files changed, 0 insertions, 0 deletions