# isabelle_session_info

session_name: HOL-IMP
sources: 65f515a74bfb2ccbb7a0da42a68d14b7e2bf3fec
uuid: 626b457f-fe25-4cc9-be05-7d66a19c107a
input_heaps:
0eefffb769267ab447a6b9950a69419f37e1cc3b
72c31a354f92ae40cfe77d1c9a9d10b742549e13
80665f2658fe53539a5683772d98204946a709bc


