# isabelle_session_info

session_name: HOLCF-FOCUS
sources: 1cdc84b381629a874310d9c5832a63787057920e
input_heaps:
2c47922654272eb4a217010ace00ef249f60f79a
f96e8514bd254f1fcb3e1d6b3a68cb0a3f4d2fba
54c4b266f6a5f2570c934e2e0c87d14b3c0581a8
dce9194c791496dbc6a78791622ec06cbd028c68


