# isabelle_session_info

session_name: HOL-IMP
sources: 228881ac4d1824fb6afa3345b01cb8399255069d
input_heaps:
869a160751489e38d92bc488b6a9dcc699746e87
eed706cf54cafa0d15cd7db269fa6af1ae023fe6
d251b107e77d771e8e05ce3a58c64cfe958e535d


