v2024.09.10

HOL checkout: HOL-Theorem-Prover/HOL@7bf55e0
CakeML checkout: CakeML/cakeml@3b5f1f0

v2023.10.19

HOL checkout: HOL-Theorem-Prover/HOL@7a4ed25
CakeML checkout: CakeML/cakeml@9c3b012

v2023.03.22

HOL checkout: HOL-Theorem-Prover/HOL@ff6e145
CakeML checkout: CakeML/cakeml@4a59cb8

v2023.03.14

HOL checkout: HOL-Theorem-Prover/HOL@ff6e145
CakeML checkout: CakeML/cakeml@c9a39b5

v2023.03.09

HOL checkout: HOL-Theorem-Prover/HOL@ff6e145
CakeML checkout: CakeML/cakeml@a4a3f0b

v2023.03.06

HOL checkout: HOL-Theorem-Prover/HOL@ff6e145
CakeML checkout: CakeML/cakeml@a4a3f0b