# isabelle_session_info

session_name: HOLCF-Prelude
sources: 46b3e7bd711eb99e750e7e764a4e683fd5b62dcd
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
8b2f2f4412b70f786362201462bf6da4955f0a02
e2a7e9445a9f21e145c2eff14cfba9ef1b86c1e2


