# isabelle_session_info

session_name: HOL-UNITY
sources: b759dc44e5f7e7b840ae8a3ea82cf1c0b447b442
input_heaps:
03c94d74b41243bde92728fc7ab986b0070bd24f
6d31f412d8e65da7615dd163568a2f61b1002bfc
64fac324260f1bde70c30b56dbce201a2663eae4


