# isabelle_session_info

session_name: Refine_Monadic
sources: 2f7da3786e9b040e965927cd7256d00867e76506
output_heap: 31e3cdb1fa11abb502a94c1c5589905b57492701
input_heaps:
00b13affeca8329065e523557b07861f9da96370
de656be5c82664d2d06f9d4f4c7a9247323f4c02
5cf66ca79e6302b03b690cc77b658161a66a4401


