# isabelle_session_info

session_name: HOLCF-Library
sources: 809495c5025e73764ccc16aa72b8bb341200bae9
output_heap: 34de749375354f84318ccf039161fda03e331bb3
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
a2c1ae5db409c569208154356ce41b9426f1217c


