# isabelle_session_info

session_name: HOLCF-ex
sources: fe879a39e34c9dc376675cb21cba31c0a3babb4f
input_heaps:
eb1ceb8e6fbe589283624431f982bb4cb6a68cbf
9796298dcf06b68c0a6e01b47c62a23b47d0b090
da4bcaef15f7e85325486ff17d76dc8092e5c13e
a439cd92e6f2ebb3af9344ad9ddcdd6ec2c4aef5


