# isabelle_session_info

session_name: HOLCF-Library
sources: 5f1491380604177bbc875dddd8cc83d1aeab9897
output_heap: 9a300d807099f9d08a19059075640abea5ce4127
input_heaps:
e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc
976e5be91d6c7e38fb802dbd687a708c831185d2
716a86216331055199244637288ec1c6c116ecbb


