# isabelle_session_info

session_name: ZF-UNITY
sources: 14526f578335c98702545e184d4067c9537e3ef9
input_heaps:
6c8e13744f5674a7b5f427d5bc2c896df0f96141
1155f9d4067c3c5064de5ba804c6e3a2e1788d30
84ebc5fc3d32d40f99b8ea3f8089cd4441c9da5c


