Decision procedure: name cleanup #46
Annotations
1 error and 2 warnings
|
theories/iSL/PropQuantifiers.v#L422
[Focus] Wrong bullet -: Current bullet - is not finished.
|
|
theories/iSL/Order.v#L12
Notation "_ • _" was already used.
|
|
theories/iSL/PropQuantifiers.v#L33
Notation "_ • _" was already used.
|
This job failed
Loading