# isabelle_session_info

session_name: Refine_Monadic
sources: d757e254dd41931f4597cb4b6ed165ad08b08916
output_heap: 8767d9fb6dc50654be1cf1ed4933ae09bec0b543
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
68e24fa803389d76024c730e22fc9263ebe14aa0
a521f0bcc4dd0ef0a4162c955b773984b4083722


