# isabelle_session_info

session_name: ZF-UNITY
sources: 4accbd3f453e45d2ac2d45e214f38362ff8b4f9b
input_heaps:
98cdb8373ea965ed3e3dfef923c097916f626e1e
cac934f2dc8ddfa2349e8ae8c6c9f20644ef164e
2da6039c0f55b91f93b60713a299b314a1aa26a7


