# isabelle_session_info

session_name: HOL-IMP
sources: 21d7ac2aa8f50eec7113b60133ba19b5cb33e2f4
input_heaps:
841a6ebc9df4d3d77970367d96045136ac45f9bb
fcde4847564b28eee4e689b3e0e9ea79736c6211
d3c07b0b593e39ada4d377e745b7217912d39857


