# isabelle_session_info

session_name: HOLCF-Tutorial
sources:
3b50a37e1aba44dc634f0b813ba065aa18b3ee91
6dd0e9dfa55d2d9c8dbdae32f124d724b1e05b62
97a2a51088acf3f46d2f67ea38cfcce93271e2dc
c886ca46627467529639f5dcdb357d6ddd4616ca
e041a4e11a01034660c17a38624dbe971d428e0d

input_heaps:
7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd
67de1e4faa6c594cac8f83698b542c3bbb933a16
938d638758d7574cadc87f2c58296f82c16554f9


