# isabelle_session_info

session_name: HOL-UNITY
sources: ca5393ff2a2827a11d3e535e418ebb0154e1f58c
input_heaps:
b35290ea035879260bf74094b8cdee6413c2aeaf
908a19d8d489b3872b4fc9a51102282f55c5ec76
0417b9508db251231117c88fc74c8b08bb089fe5
bd5baa3810bf06776e60fa1b15a175e47110fd2a


