# isabelle_session_info

session_name: Auto2_Imperative_HOL
sources: 7cbe290e5df1ca6f5c80a6f6580cd94c9746bacb
input_heaps:
8215eb5f5b3394a9f9254fc524a194abe159cb1b
43986411c04360d074d5c4045a93e7a8120ecd61
23be24a053dad926a2e4c5d96ca6f76c279569ee


