# isabelle_session_info

session_name: ZF-UNITY
sources: a14497f696955006eef8c207d5e704617e97bded
input_heaps:
7f04395e2748c59f6729885b2c3159d0fab3f184
4f6e8e6f8e133b2bf6e4762c97ee71dfb40f8d46
f75bdc606dc51227ffef68926cfc5e382caa09a5


