Cleanup simp and document it #23
Merged
Annotations
2 warnings
theories/iSL/Simp.v#L49
Notation "_ ⊻ _" was already used.
|
theories/iSL/Simp.v#L86
Notation "_ ⊼ _" was already used.
|
This job succeeded
Loading