# isabelle_session_info

session_name: ZF-UNITY
sources: 4fd46c4a07bc2e19a6946dc04b98dae3a9cc659c
input_heaps:
07237e2b3ade8f359663183ef1c4fdf52bd9e545
c909ad9c7d6e5552840462280111a5b5fda0c019
a9635521e0e5f55cd79db6904756ff5ab3f20235


