# isabelle_session_info

session_name: HOLCF-FOCUS
sources: 85dfd66bcddd0fd096f14f5753550c544cafa51d
input_heaps:
b5c424772a2a5b40f2f68f25414695f3cd309066
4421303c0db3669d059ce12e56ab74b4697966f2
7b39dc942c0d4779ec4458b7e66d3d6dc451b4e0
e460365b0cc7f2445ee665aa82b09ec29bd87e00


