Merge branch 'develop' of github.com:HOL-Theorem-Prover/HOL into develop

Update HOL4 after pull request.
jhlchan · Dec 20, 2024 · cf029ad · cf029ad
2 parents 5fda98a + d3fb51b
commit cf029ad
Show file tree

Hide file tree

Showing 53 changed files with 3,516 additions and 1,095 deletions.
diff --git a/examples/AKS/compute/files.txt b/examples/AKS/compute/files.txt
diff --git a/examples/AKS/machine/files.txt b/examples/AKS/machine/files.txt
diff --git a/examples/AKS/theories/files.txt b/examples/AKS/theories/files.txt