# isabelle_session_info

session_name: HOLCF-FOCUS
sources: 44301e14bdd159c9476d80e42404e2d3b487f4f3
input_heaps:
7a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d
c778faa6bf8be5df05c2dfef635e886ae01138d5
08f16121155242c6676ea67472d405d5f54a3b7b
62ac21361780a222ce31d08cd83b9483f860b094


