# isabelle_session_info

session_name: HOL-IMP
sources: 9563068fa6d145c3e1ec8e67cdbba4e6398e9c4f
input_heaps:
f8fbcf1d38d4d23767f8670a17792248e376e814
1a617edacd90b534d2c1ff55baa20ec4380b1664
486a92444d42b67ae2098416a4a8c810c7b6479b


