# isabelle_session_info

session_name: Refine_Monadic
sources: e3ddd0d59197c2f53c48fce5cbb89c03a541529f
output_heap: fe3c60938ec6bbf901b209eda2eb638b09884ce4
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
8b2f2f4412b70f786362201462bf6da4955f0a02
93bd83e52c276f6a960b98ba1277a702daf9e45a


