# isabelle_session_info

session_name: ZF-UNITY
sources: 510ed3994ddb40f5d1dbb73d1e0c4d1d057b8054
input_heaps:
76e4486f4e854c4cf8ede2a4c33538720337ade6
575d98dd3de5882e3dfa28132e3615a42b39ea88
351a7df6a2aebd568185db3fcdb705c859960ad3


