Disabled HOL-Algebra notation to avoid syntax clashes #17
Annotations
1 error
|
Build Theory
Process completed with exit code 1.
|