# isabelle_session_info

session_name: Refine_Monadic
sources: 8a56385a3457b8fb0fb126d424eea2415423accd
output_heap: 10a37cbc4b1bf267a15ff46b217f5f3be3b6ddcc
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
aee5c2a96c3e523caa28841ab70d56bcebb4e1ca


