# isabelle_session_info

session_name: ZF-UNITY
sources: 20818a9a58c061f1e99cc948e0a060b0fa2a053f
input_heaps:
19b4b25e295fa87e73b1db14b76878201d84b83c
6866eed7e70a8bf3cc730a2e28bba7f4bdd936cc
e20633b307521266885d61ae3e6293ea77f47156


