This is a fork of the HOL4 sources, used by the seL4 test infrastructure. See the original above, or visit the main website: - View it on GitHub