# isabelle_session_info

session_name: ZF-UNITY
sources: cd05cbd07ae7eec61efa6bd303f672217bedd635
input_heaps:
dcbe989a010ea70cd819f355bd4cd2182a8609cd
df383ceadbd174b007c97f621dd1a8b2edfef7aa
c68f17b16a402123e0cb37f244f45a0e694578b3


