# isabelle_session_info

session_name: HOL-IMP
sources: 433582122efe6e4de0c11cc34baff7b7ea68609d
uuid: 34fb1e61-c9c5-4811-865b-b0f2b1d16239
input_heaps:
2d4d42bbaa4aa9e2d6be0125d66cf1542ba8f42d
8949abede8d02268862b8a391758b7bc0543b206
44ecb598abe16cbf2327b95701c3f556edf31940


