# isabelle_session_info

session_name: ZF-UNITY
sources: ab84328ac751f52ef0b6a90c39641f3e1c04d7f4
input_heaps:
7c773fa34a6bc8928e20fca183df288d33e2e574
e351857f538bab89400b22fb99377d3733fe5647
2dadcb5186608ea8e8e77efcfe2ff5ca27845ed6


