# isabelle_session_info

session_name: HOL-IMP
sources: 8b83f9bef9572e79f472975b3f9a0ac91d42bf2b
input_heaps:
6961fec4ded6b3eed849e7567739468922d3c226
1917700418a8a34a23e321dc0267535ca9af6102
8d2b79a1e3cb4b83abd9e5031623af80d16ef760


