# isabelle_session_info

session_name: Refine_Monadic
sources: 1928c24559453a2e83ecbaac3a87b9635ebf1014
output_heap: 4774b27fc112db14dc00cdcbabe06f2ea3ebcd2c
input_heaps:
78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920
db0b9f381bf5e847e834c0dde3ed15877688cc59
388404ca9f9d9a44acefae5395149c5a7edcde3c


