# isabelle_session_info

session_name: ZF-UNITY
sources: da1f79265c288b40679aff5f6bf74f35b07ff474
input_heaps:
72cca0904208fa240fb772d4d14dff23ebcd0242
ff591ae5c90c4607ce7eba4472ec87e06136d558
fb6e4749c7352c13cc45c5b9c0d3a23dcae9bba4


