# isabelle_session_info

session_name: Refine_Imperative_HOL
sources: 7e592fa7963079a4e110a3c33a5f84dd8a33b0e3
output_heap: 09029c79551ee42271cb11bb1edd22ec11a67f78
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
a8749f911b7a86e71244743f340b7cedb910c4fc
a7aa38c327a35188af527f0ba9d7b3b61f0d0162
c74f5d7f764e796181bb54e1bab984124aaed491
d958e1e2c3b9ec04a71c5d2271016251c48bc540
343b7c25cd3d3762400e7b8146c3099847a90f12


