# isabelle_session_info

session_name: Auto2_Imperative_HOL
sources: b9b9eb992a48e84129a8cdc14bbc8456afb8230b
input_heaps:
13f786b8f4762c1203e3da5c15d634b6876ecf36
7ac514d3394501c5bf6707600eeac5a1d30a5454
bae287a0c6dbb6ff38212cb4b403cc6b84d34cad


