# isabelle_session_info

session_name: ZF-UNITY
sources: b74e156cfc6d7c117277195f9aa2f9d685cccd5f
input_heaps:
5248afc86b05a1ac2f695003788f35082c9fc933
813b00bfa1054d4c822248819d4a1c6a7627d5fd
2fcd15c7dfcc825833b3875caa594256b8b16ecb


