Removed unnecessary clash with HOL "last" function #9
simondfosterAnnotations
2 errors
|
Build Theory
Build failed in an unexpected way: Command '['tar', '-xzf', '-']' returned non-zero exit status 2.
|
|
Build Theory
Process completed with exit code 1.
|