# isabelle_session_info

session_name: ZF-UNITY
sources: f885476b5fce9081148028253d9b119453610eca
input_heaps:
d2fed5b8463a719e2f3fe546c701ac5c0e920ab5
e7bd4a33545a7f7f3a0f51507061fab5641f6db9
c54750a0d7fb0409f78d3317b95344b3a9e3f47c


