# isabelle_session_info

session_name: Refine_Monadic
sources: ee053b6bfa45aafe92fea038744ee75bd2e34ef9
output_heap: d037d68dfdb6e3ae31fbd2a3bc1ecc652e7e8c9d
input_heaps:
9cd33e2f2669d2e2ef0833012528b204015b12df
e5cff2820287d96832c0244f64103884811e226d
3f604387e6ccc6f78fcd3de0366f9d8c5e3fcd19


