# isabelle_session_info

session_name: ZF-UNITY
sources: 93eaa574053b1035e0eb6e7748386ebef8cfa48b
input_heaps:
849a93819fa451203d0122b4dd3db0edd4c708a5
a5ed4ab69a4e930419fa2e5fb06625d9caf54a8b
59c81dbaad9032c696ff9f893fb1f1ea131963b7


