# isabelle_session_info

session_name: HOLCF-Tutorial
sources: fb16690ce75859062756a410af37000a63b3b723
input_heaps:
c3eed4da8d2aaf2ad54b900993bdd6f7717404e6
f5ae9f289847647563f612b35004c35ff6735c80
6a0495497e4fe29e748a288ba8138e6ef472d52a


