# isabelle_session_info

session_name: HOL-IMP
sources: 714655f6693f9603f863f706eab601d9e9fd4b98
input_heaps:
e216e8eaf6a375ec18ca24b2ce78310b303039d8
9fe695dd2fac74756be62bf1a9c01ff965a54e63
04a2bc7cfa07d840d648901c142a1b52d29d9296


