# isabelle_session_info

session_name: Refine_Monadic
sources: 32271059b0a4f4ffbc80e55eb1e3a6f4d7320e45
output_heap: cc02c8e5740488ca29ef97a9c679aa176647b950
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f
71e5beeb8f5af9f9767829e5e97a177e2fb327d6


