# isabelle_session_info

session_name: Refine_Monadic
sources: eb817de505ba9cf85eac684f6887b05b3db8518f
output_heap: 8b973de275ad44dc1cc0022372b397c51523491f
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
27625c6a71bbe28fc0d93a17cd760af834a4e6e7
e00e737ce82e914d2086c7aa07977cba8cc85cd4


