# isabelle_session_info

session_name: Refine_Monadic
sources: 5d22f2aaa6a23afe7ea997c51a7430d7ebb8d0ca
output_heap: ed9f22f2a58f363eaebe925cf52d08569a0ed528
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
a8a6289374072f4572bc2afad20c4d4eb32547df


