Commit 1b70c365 authored by Heiko Becker's avatar Heiko Becker

This reverts commit 134a8e35 as it broke the CI.

Further investigation is necessary as HOL4 changed the drule semantics...
parent 134a8e35
fecb58b4de7c33b5d48fb3fcfe8933c41141b775
bb9eaf3448d2c44c84c5d06849d0dc73db23670c
Subproject commit 9f5191167305a39de56aec8e0cf75181a32d20a3
Subproject commit 7f486a5f00f273d5ba21cc8ea98aaddf822ec371
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