# isabelle_session_info

session_name: HOL-IMP
sources: 4b0faa0a33065eed8d9b7a745e9705b29e88f93e
uuid: 7558b750-9aa3-4b91-aae8-1408bdde2d39
input_heaps:
f120b186b8c94c8dfd968762788edb0b6c1f4705
45a65a42f2948aee1b7614aa26f30387ccd4133d
e19c39bfb3a28ff6190560da43c0c7291dd743e7


