# isabelle_session_info

session_name: Monad_Normalisation
sources: 3bf1cb2c357cee1cb5f9ba8060d0ea42f980d76f
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ecbaca1f759e0af4557375e3f3e93a75220211b8
9fd2ba49311f544ed16d60b38e1be4fe427c2983
0fa7088d9f19fae2ab9dbd0277752aa2ece1ab75
71b61bb1af1b6239c53bd9e18a9914ea83e4037c


