# isabelle_session_info

session_name: Refine_Monadic
sources: e976518fc4f8c9b63b2994a4dce5cd96406b923b
output_heap: 87c553a46806ba8f82cbfdb23f7c48a88546dfc9
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
662881dfad4b5030c5102363142441cde1d60e32


