# isabelle_session_info

session_name: ZF-UNITY
sources: 85a125e70c181ced3292172b360e7f333e71e345
input_heaps:
dbe489248e523e230cc84de4e3b8851f92ccabc6
e373746271e0975e51e06212eb0bce9fdb36ff42
6b6a08ade972a00c771ac660f6ddbe36fd2485d9


