# isabelle_session_info

session_name: ZF-UNITY
sources: 7b58de8ebc594ef425388592b978881170f2f0e8
input_heaps:
4ffcfcdc02ef3f1b5abbf97520a085cc79a504db
c9dc15777d4b7821d59ff70c3ec9d85e88b6325d
a604c755cc3734d33a710102cd7cb5c240e1e397


