# isabelle_session_info

session_name: HOLCF-Prelude
sources: 29eff8a8a286af71f352b3586a95dbe29fbdf9a0
input_heaps:
d14ac4c995dae0e54cbb829ef0bf6514a439aa95
a39a93e97d06226422815bc6b1afb8f60b4561ad
f849d8e1608b1f535318b1a279470b8c185cd586


