-
Heiko Becker authored
Remove some unused lines from Coq development and rework definitions in HOL4 to contain current state of Coq development
a9f30489
Remove some unused lines from Coq development and rework definitions in HOL4 to contain current state of Coq development