# isabelle_session_info

session_name: Refine_Monadic
sources: 6b5940e8b8c4f825b05089405c74920a237cb252
output_heap: bd2643a71399af34e9aaf41f9dddb7d46d5d28b5
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
5ed1820aebc6e02614c6693ae9e860ae9bf545c9


