# isabelle_session_info

session_name: ZF-UNITY
sources: edff07a85f537710fbcd78b765e8684cd0b791ac
input_heaps:
63b1f4bc87078c4a404d2432b7da6c3c391c20b7
f63cb1ac89f72b2f99d3f100fc63b15e9b100be6
6c3b5ec3318dfcbc850827eb10f7557e0e61af17


