# isabelle_session_info

session_name: Refine_Monadic
sources: 609c1e912a43daee81a4c5b5ca894ceb81670c29
output_heap: bdaacbe7631196688fa8777e4438af40825211c1
input_heaps:
f42ef1fa33b2bcf7f41b6d59156a15f0915a3353
e231d8a0cba58c5d3b81b383eb6beb7946babf5c
12649a17e11e52e82303dffa527eb1b96900c11b


