# isabelle_session_info

session_name: HOL-UNITY
sources: 85b482028755e398103b2c78c40d3196fed8f3c3
input_heaps:
94b742004074737de01fcf0ea8cfb966f83a9f8b
4719eee2abf4f7838423a7ecc32b28f85f9d0f8b
0551f1552bf12f4f7d1e6dbac64211a936cbac33


