# isabelle_session_info

session_name: ZF-UNITY
sources: 6264a53321d23c86f683d53bd5c09739feedbe00
input_heaps:
72c151fc6d7155c0917f3fea895a6bda7ed6705b
61b16145bc25d8e53505acae7f001f5c72431ffd
97068ec4b2fe92c7736b811662835823877758ef


