# isabelle_session_info

session_name: HOL-UNITY
sources: e84b5e2b900c03eb40f8b42f6044d4c9f67f0aeb
input_heaps:
a6e433edc661d0701a70abc3dedb8c23479c8e91
01176b507ede2902d957814b1e2c10738166b57a
684a4470dc7ce8376786cf2b14ed19032920fbf5


