# isabelle_session_info

session_name: ZF-UNITY
sources: 3d655be5a90185f752ceedc3ef2c83ed7fcf411f
input_heaps:
43c7be6fe13329de6d6a102e9f64126d9c7b89c8
32336cad489f0c3d7b803d505b0e598315be9f8a
792ddadf6538a33d6238e3ee2bfc38562699c39c


