Output modern HOL4 syntax, fix up builds of HOL4 examples #7
palmskogAnnotations
4 warnings
|
build (coqorg/coq:dev)
symbol l is unreachable from any of the start symbol(s).
|
|
build (coqorg/coq:dev)
symbol l is unreachable from any of the start symbol(s).
|
|
build (coqorg/coq:dev)
symbol l is unreachable from any of the start symbol(s).
|
|
build (coqorg/coq:dev)
symbol l is unreachable from any of the start symbol(s).
|