# isabelle_session_info

session_name: ZF-UNITY
sources: e957d3e0b590fed768db7f8f2c272764e66f67ec
input_heaps:
a065929dd1485620a1fe2ad1ab24aa44d802e5d5
fa12d52bca04d1137718686c7ff6459f342f6a95
db6e788883f418e24fccbb2b97d0f62fdb65a992


