# isabelle_session_info

session_name: HOLCF-ex
sources: f95c64c694a44031e944c98350a58c79a24ec9fb
input_heaps:
ec38c69ced9abbac5955142ebffe44a25bf3d7c7
ec19d5c86bbd8efa8e997b4a18973411183d4768
73febfacdc2e5701e89aa166d376d181cb4ef042
ae47023515e5132ed4f124e658c4bd8b903fee83


