# isabelle_session_info

session_name: HOL-UNITY
sources: d37c6abd8d798f82ddc6c2c216873bc4f86413a4
input_heaps:
d9aab2f0eb07e313f7e1d8ac809bb79600fae4cd
bedc0de0e02c39d3dd892b5a6a25063c7496d425
1c93458a5768f6950e1735d11a618ff572d1c471
eaeb883eb0c920c8a07e54cf84d41c34d7e47dc6


