# isabelle_session_info

session_name: HOLCF-Tutorial
sources: b624880a35fb706a449ec652ff0e117c6e255191
input_heaps:
ccfe400cf73fd62fd12acb34409977712e22d6e5
10dc6874cfc163bd3ebe399c64a6eed2318ef64b
fe2df9477e547296022e00148fca3781495ca840


