# isabelle_session_info

session_name: HOL-IMP
sources: 43007296f12080209a6004b72999fa4846b9697e
uuid: 5336acd8-bdf5-4234-96d4-e09535ee16a3
input_heaps:
0a2c0c4191b1d84261ef90406b039e096e738a98
12745a0f51ab83415c41598c722acb7629442f25
db5df347df4a9d5f70da638d46b9ee35f81dc73f


