# isabelle_session_info

session_name: HOL-IMP
sources: 31dd0ec07b578d6aeec1242e18ad3d05b5a227eb
uuid: d71c17e7-358e-410f-8574-9d109c061466
input_heaps:
df967e564b1dd685738ef86cd0afa6dc9321f892
c292a17d3779c1055ca2caeaa6ff13ebb8e1ea96
2779319898a8d1e1b25bf653450b50be2b524a7e


