Commit 134a8e35 authored by Heiko Becker's avatar Heiko Becker

Fast-forward HOL4 and CakeML to latest working state

parent 64d364ac
bb9eaf3448d2c44c84c5d06849d0dc73db23670c
fecb58b4de7c33b5d48fb3fcfe8933c41141b775
Subproject commit 7f486a5f00f273d5ba21cc8ea98aaddf822ec371
Subproject commit 9f5191167305a39de56aec8e0cf75181a32d20a3
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment