# isabelle_session_info

session_name: HOL-UNITY
sources: 9d7dfb5a89ef64c51390b125ff37b72eca7cfc36
input_heaps:
6a0262e54d292d7ccc0eaa27252a3e70aa6b574d
0b0e30dcc9976635e2910689b3c3e0d8c0a8d955
8412a6684da0e5bd763328bd38a737ddad7ff6cb
43b943fbc650eaa027dab535a77890ad7c1456b7


