# isabelle_session_info

session_name: Auto2_Imperative_HOL
sources: 281c03dcbcf18559d4411c1b547a864c53a4053f
input_heaps:
1795f3a7abed9fc1d9546e3552e224994a90ba84
4907e731bc16daddc205b6b11f8b89eb33f47f6b
11b0b68e6b0f5974bfe36366dfcd2045197ca71c


