# isabelle_session_info

session_name: Refine_Monadic
sources: 33bbf3b1564b5730625f336b3e4d314748d3ffb7
output_heap: 1461e0be47c4cfcb35fb5733b9584b2691e8a2e5
input_heaps:
9aadd396dde0a279b6a4eb62f8f2ff37640b410b
0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535
b03b212d94edfcd0f45a59cc46df5cd8b170a7fe


