# isabelle_session_info

session_name: HOL-IMP
sources: 9e909a38ce6e067ecfd92924d1ec3446cac5c291
input_heaps:
00879685c0cae8162cb30e087be0ad1474557204
1ad79679c1848be8b6071b23aced2c52a17aca74
b5044b752d968a07d7a3165e00250d0acec15d73


