# isabelle_session_info

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

input_heaps:
8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3
d9e883ae99affe5ac273ba1c889b8ce1dc4817ed
645174f4cff6174b9ce6ceffc99373d5441e2d5a


