# isabelle_session_info

session_name: Refine_Monadic
sources: a6f35a16314cda67421e4154d946a1e53d789cff
output_heap: ad3546b6465eba07d90464777e99f5697f86ada4
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
bd202fc155acc97a2913afab427799291ff8d096
3b148a2a61b1ae023fb5751b78092e889d79d244


