# isabelle_session_info

session_name: HOLCF-Library
sources: 11917cb56680d06c2faff3a2de6e9592c54b8511
output_heap: 1fad37c43ef9544167e4d200d14acdbec11f0e5d
input_heaps:
d14ac4c995dae0e54cbb829ef0bf6514a439aa95
a39a93e97d06226422815bc6b1afb8f60b4561ad
f849d8e1608b1f535318b1a279470b8c185cd586


