# isabelle_session_info

session_name: Monad_Normalisation
sources: eeec1e3b1df4ee5db66d422f399b783e9d2d7745
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
ffd3c2f455ccf76046f1a522696b8fe123ec936e
c0bf7b6d5b1b478088a3e49438ef9e3f86d0ddd8
209f35b6b565b15467dc1cea364ce9b398282eba


