# isabelle_session_info

session_name: Refine_Monadic
sources: 15d3c52d9d9b155c4d924749c470d68324b6db39
output_heap: 607ffd3c50e55ffbd3656cf0cf99269ad459cedb
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
1f5bcbec8f55bc0ed456fc270a580830373f3698


