HOLTrace: License
The HOLTrace package is hereby placed into the public domain.
SPDX-License-Identifier: LicenseRef-PD-hp OR CC0-1.0 OR 0BSD OR MIT-0 OR MIT
Version: This is version 2025.06.14 of the "License" web page.
The HOLTrace package is hereby placed into the public domain.
SPDX-License-Identifier: LicenseRef-PD-hp OR CC0-1.0 OR 0BSD OR MIT-0 OR MIT