# isabelle_session_info

session_name: Auto2_Imperative_HOL
sources: a53ef0492c4294269dfe12646e5d4446f65413fe
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
27638859d3581338a14773da3f5cd45c4e2a6773
71df1912d1c54c4e744e58c6b2cfa12a68dae13a


