# isabelle_session_info

session_name: Refine_Monadic
sources: 13a37bf1d9f11483370dc8d02996cbcfe67e931b
output_heap: 3fbd0146b4e5873479c687e1e5585ab512d82083
input_heaps:
0779f416e0333e930b31960d36caa48e35918b68
b6896307526a9838816e0ef6f162a79ce98e509f
db425a9259037423f4e156b4720884a93225bec8


