# isabelle_session_info

session_name: HOL-IMP
sources: bb4c8fd6748f400eee8078768d88b980abdf5b12
uuid: dbb13c6a-bd2a-47e6-8444-58a5763b671e
input_heaps:
f57eb8ed536f0e70cc3f24060ba296c4b68ba268
806371498c4294b06fd3427f88733a19f266392e
629b4334d6e19a2024f15c3501423225e1f0381c


