# isabelle_session_info

session_name: HOL-IMP
sources: bb99c52b4559e04695cfce6521ab3d36415bfeae
uuid: 13a12a5a-7f82-4a62-9449-d5275b9a229c
input_heaps:
d3f897dbede5114e044d830121d9dc2b656057db
736e4fc5a7aca9f5f524c2f1dcf705553bd6aaed
dbabd8842d5bee8fc352d42812406e1a1d4c39cd


