# isabelle_session_info

session_name: Refine_Imperative_HOL
sources: 822561d81b7c6a018a586609951aa8cadf22ffcb
output_heap: 37c50fced2707ab657f0bf4289a62d419c5eb2cc
input_heaps:
87d722a51b70602a06e4a7b7d793ad6a8bd08e87
b7feff3cf6fa551286ad5206b08f8a4505f29591
1a57f2cb4c4f948a7b949dbdc8a5748f50639d49
652bc4b287f432e408b6febdbaebe2878a39a1d4
4a3e365765dbb51c164b57461de9ae64d31558f3
d2133de5b411462058652ab7322e81fbb0df864f


