# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: 0b7b6b5311dc0ad34b572bc8d18710b4e02383b6
input_heaps:
a255efa1aa457bdc2434a521272c906f02d8e87c
ccab4b5307858796b5c1afaa8b061fbcb5af31a5
66718c4027f1e506ac8749ff44d7547d48c01640


