# isabelle_session_info

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

input_heaps:
d38e002fb81c6e684e22dfb9a00446f1cfd993cd
c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
01bd0b059fc253a64630add6c76331b07c0b1888


