# isabelle_session_info

session_name: HOL-IMP
sources: 7202f446a7d0e39489de36c77ca1c70fc195488c
uuid: f0da7124-b02e-469b-9556-05dc0f1e70ea
input_heaps:
ea3ccdeb1f4480eff1d2d9d8612d8489cd4649db
026635fcf622a0baee3b1ebb1be23d47218acb87
ea55cc6d20ed0b560f63ab5dace339389b200e4d


