# isabelle_session_info

session_name: Refine_Imperative_HOL
sources: 83f1cff747b5cd58f5ee8f494873640633110980
output_heap: a5d2bb50cf3b6cf1bb6d4af5e72a57bd65e6b565
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
4182a48763908451de8961309829ff336f2a9af6
41397749331004e6e89a92b9edf427dce3f44ef1
dfae79588919b5834a93298279b56c4625da02e1
38dfe9ed9785bf9e1605dafdceeaaa0aa60f6dd1
cca0feb0e666c954092b501143a9009fb39c8c5e


