# isabelle_session_info

session_name: Refine_Monadic
sources: 29dc5a69c94a8453d0542b6ab63889afc4135e6c
output_heap: dfae79588919b5834a93298279b56c4625da02e1
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
4182a48763908451de8961309829ff336f2a9af6
41397749331004e6e89a92b9edf427dce3f44ef1


