# isabelle_session_info

session_name: HOLCF-Library
sources: 64852f80e56af5ea7987ad0d145d629b347cc8d6
output_heap: 443f04cdbc3a652bb1e23f7dd64fdd3cc6a91f11
input_heaps:
edac997306bdbbc7a1ea2002f2641008ce6aae62
b77918cb16b79b554f672156cebeb1531c9272e3
ecb055a6ac9500299e195b95daaafb8d2fb7122d


