# isabelle_session_info

session_name: HOLCF-Library
sources: 64852f80e56af5ea7987ad0d145d629b347cc8d6
output_heap: a472bc41a6ea951faf1ff6d2e6495b12de9b8beb
input_heaps:
04546e13b3ec7f70b074138ed2f4d8667390e734
094d1060cfdb72ebd3fd1291784fda6152066b69
1dbe3cf33db494311b52c74a5cce98031f001a35


