# isabelle_session_info

session_name: Refine_Monadic
sources: 5dccebc110c0259c4a605e7c196c66239b3a9e02
output_heap: b5b198f46c5acf9d6d89d51242f80d87d5b1e0e1
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
bd202fc155acc97a2913afab427799291ff8d096
f54c129950e2fc9884f41f1065bf5c6a8b57d392


