# isabelle_session_info

session_name: Refine_Monadic
sources: 0f206a1ee823e10b3f8011afc8895cb39860793a
output_heap: be0faf5d1fbb0fc2730ac15d3cadff9b9082af1f
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
80050be4066a2dc41dde228522a53110fc50a122
48f5e92669655eadf836376133942ba1735ecfbb


