Commit fb3dbaa4 authored by Heiko Becker's avatar Heiko Becker
Browse files

Fast-forward HOL4 version

parent 1b06f787
95c3c2105fb6b31455787c38410706d9c76f5bea
89e07c5a43c0637bc614b4396e6a8b3cb902cedb
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