# isabelle_session_info

session_name: Refine_Monadic
sources: 71f8a150fc20fb50d98e32e74b4ac6e7693225e5
output_heap: 9bb5f26e1f3ecd30378fd845a664d648e23e2eec
input_heaps:
13f786b8f4762c1203e3da5c15d634b6876ecf36
7ac514d3394501c5bf6707600eeac5a1d30a5454
858f6cd8207f79c7ac7ddb04778d17fd495914d7


