# isabelle_session_info

session_name: Refine_Monadic
sources: 0f206a1ee823e10b3f8011afc8895cb39860793a
output_heap: 7178df41b23c03d70a18770049a914dedd17da3a
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
c799208d0f1fb2fbfebbbe6c600eb5411370bca6
964183943647a3fc0d559025d2c32108d727845f


