# isabelle_session_info

session_name: ZF-UNITY
sources: 9ffaa268ebbf61526812c82c21b5b6472a8e74bb
input_heaps:
bcb48639fbb7341b689b138997e7d93ac6626bd1
0f90a0f2246648fd34be2b4f01cc07381ce104b5
6aff7b111a3757a8714b35fb3e1a368e89993151


