# isabelle_session_info

session_name: ZF-UNITY
sources: 557982b0d06883e5fde081e7b7c96d6abc5e0034
input_heaps:
d40ca4cdb5a529824fb7d177aa42025673a71052
0dd7bb38d13408d6828defc4f074c116ce6abae2
61d5be53446305f6d4342c963c2256edcae3b7cd


