# isabelle_session_info

session_name: HOL-IMP
sources: a0e06bf063d3aa417f9a4e070019ad76ca9d4898
uuid: f19f1898-cb76-4887-a735-5a169e5e2359
input_heaps:
99aa1dee31dfa0d453b64e417ce1ae8b896c3602
2d57dd9f95ebb02243d5cf26c23b4f5f995f70e2
338bc3c334e08f897fae0355c1fe3ae12b9a40d3


