# isabelle_session_info

session_name: HOL-IMP
sources: 194c1b441b1c65c1bd90b005a75ea5596789646f
uuid: 9ea096c5-4320-40b1-aad9-fd1cb22673b7
input_heaps:
993eb6fa3b516fdd7b7b2572ecff8a2946f70eb4
81855fd54aebed115a45643a126470a727632716
f41e60420c286d9f824f457ca796f7053aab44e0


