# isabelle_session_info

session_name: HOLCF-Library
sources: f3644f358be946bd964860520eceddc36b5858f9
output_heap: 709fcd2f86e5f8b7ae8d78c159a821c44262e3bd
input_heaps:
157872e777819e45a1354c5e9b25a0e090aab99b
a20ae71f22856b1683f32d476fe747cfb705bad9
1eb838f4c08490658bbecaa64fffdb6d19141b7a


