# isabelle_session_info

session_name: Monad_Normalisation
sources: 58ead049d07641b2376b0df266499a85f7024c5e
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
e58c0b53d135d2468d83139943d3835239d94d2e
59bedaa090758dadb6cf61e44de79f384afda49e
a74f7609bfd67dbd153c851e2bb135000e159cbf
747e333270518ce60c15dc34844eeecc95a83f48
c4a2d1cda80a58662c70d751475f967b0cbe5c74


