# isabelle_session_info

session_name: HOLCF-Library
output_heap: 958c2801180831de06be7de6e9ab4db5bf87e353
sources:
11cf04dbc4e453a1d7b6eeabedbc93d7a114229f
188a46d3c99abd272ab3041f1b10296bf488e00f
26f9f8d98728686a072e94f3597fedc44d57fe6f
42949db6ca1e816bbd53202dcffa7c9052e84a7a
603daa2ce7c00f846f9df310230d109e1be4163d
61d06369eccb52a4259b413e79abc18a1fe9a627
62efc8c92194064df890c6d90401fa344e8ab14d
7d36273a2e584d94d3160c8724cc6dee071b4ae7
852c4b663a8d439dbafab771fff6222b134f0cbe
a9b4bb4f25cdebd3a414662083538a45c2f992aa
c8ea7fefc523c5654c6bf3e85023068785e0870b
cd52ce4fe7b8e9cddd262cadb3fdb9688508d928
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d727d6d1c97d3ff7f87a3232b7c85a7de66d2eb8
dfbf5e85b25f60fd2b47ca8ca254aa7ead91b1bb
e16dd81c25115952353dc50e98ef8842c8109688
ea07fbeffcb1368ab04358e4a6792a15022e958f
f7d7695b21718df39e8a80a5c0e149dd8fdcff3e

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
4ba9319de48db2b6cce37b8b1958b8d0ec8914a0


