# isabelle_session_info

session_name: Refine_Monadic
sources: 437603e361716f4584b7815fba1cf9c8c0bc9a45
output_heap: cc1c4ec4fe785614ffea874c259e7d17f07d837b
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
9ca4f7fb74afc5f154b6303d43705022aaef39f0


