# isabelle_session_info

session_name: HOL-UNITY
sources: 4999aede7b5e8a9660a758f940e64f8e36430969
input_heaps:
de877691d4f439c54add1e4f3c47e94a8527bdce
d6535a27214e155c3bd561efa578ed5e8e87d84e
dd98c09188290f7f408d511477e526b0e4203c74


