# isabelle_session_info

session_name: HOL-IMP
sources: 225a3e3c5a42f73cbaa746a175b7aefb42609cea
input_heaps:
59cfb008d82973f70adacd49cb832067f1ce6d0d
1b0de3ee83d720f252fb261525717bc582dfd961
3db8bef0ba6cbf368c1c26fea82a72ed95238bb5


