# isabelle_session_info

session_name: Refine_Monadic
sources: 0f206a1ee823e10b3f8011afc8895cb39860793a
output_heap: f34d37ee74795ed0809f2386d419d21b65758633
input_heaps:
5ef6d50342693f7e095d0dd59d86225835695d9b
fa5fe27d0d291b70d86441110e409cd4047f2f2b
71a93dd97205bc048130ce5c0dfb2434c6d799ab


