# isabelle_session_info

session_name: HOLCF-Library
sources: d6246c755137ca25863320f5b405a4b68f336651
output_heap: dce9194c791496dbc6a78791622ec06cbd028c68
input_heaps:
2c47922654272eb4a217010ace00ef249f60f79a
f96e8514bd254f1fcb3e1d6b3a68cb0a3f4d2fba
54c4b266f6a5f2570c934e2e0c87d14b3c0581a8


