# isabelle_session_info

session_name: Refine_Monadic
sources: 7cb539701c140bba8a043f32ca7e423da2a35242
output_heap: 652bc4b287f432e408b6febdbaebe2878a39a1d4
input_heaps:
87d722a51b70602a06e4a7b7d793ad6a8bd08e87
b7feff3cf6fa551286ad5206b08f8a4505f29591
1a57f2cb4c4f948a7b949dbdc8a5748f50639d49


