# isabelle_session_info

session_name: HOL-UNITY
sources: cc962c8d149d20cc99f4a39ae44d43bc1688a3d2
input_heaps:
7ab027e11c16b198d39bde9e2a761c27851a5912
d1ce42bd7288630116e7d4230ccdfb85f09406f1
3a6e34870b426a1a6abf0eedc6aa41a8d689c1e3


