# isabelle_session_info

session_name: HOL-IMP
sources: a1b4bce15de80f397358fe56b105e869e6309985
input_heaps:
21a403e07266a0eb7fc4f07f6d291fb8aa815d1b
b2b2343c1fd11a884de7303077f1e9ff411e5305
4d03d9ccd21c4163be6e1820247c9570a4e87b88


