# isabelle_session_info

session_name: HOL-IMP
sources: aab74d7713f984ea7e1ee373cfd4814527f2f4c6
input_heaps:
6efeb224ffc75fab8ec850f4826a2d863a08be88
25ecb723e4a4ebdc4e16cf93f7ae674a8a95cd2f
b4f2fa0a5ed6ca27cd36024a80ef87b9e20912c6


