# isabelle_session_info

session_name: ZF-UNITY
sources: 85a125e70c181ced3292172b360e7f333e71e345
input_heaps:
84d9a0f42954d11e84ba3493f60650a38e0e7836
d6b1d57c8e682a767cc2cf4a723f4a66adf61669
957480fe643396b0053a64e48c92637605a70262


