# isabelle_session_info

session_name: HOLCF-Library
sources: 223025d6b7fc6823aa72d8c4f3ea2f4afeeee0e3
output_heap: 3485c0874cdc40603f82a57a3b4d92c22c9e7318
input_heaps:
5854d6758689c83aab18dd02aba520db4dc6bf79
c08feb1745cb050bd06411837cf1536009c8c293
2d62e87539fc2056c7097dc39e30a573e3bdfece


