# isabelle_session_info

session_name: HOLCF-Library
sources: 5f1491380604177bbc875dddd8cc83d1aeab9897
output_heap: f50c4bcea1cf6912f4998dceb761b46e20eda88e
input_heaps:
31bf4bac648c51f49408130bf9489829be3fa993
35508bc2877195b4acaa6a24645b77282ba20bd1
b019279a3daae570320d38a60badc595e098c1d0


