# isabelle_session_info

session_name: ZF-UNITY
sources: 74c700b01f7b42e9b663904809fd3f87f2e14499
input_heaps:
09699199a0064efa4710789d1f66cb5c536b4bd6
12e202dc20b56bc072ffa5ef8dbc86f44c3918c0
35052d4c2c0a3b4242d8ec3b7611ce9a5e4d7169


