# isabelle_session_info

session_name: ZF-UNITY
sources: 84b782f9474cb88c52fe36c3cf2294d36bd5d6c5
input_heaps:
4b079fe610649cd37f98f05ad7c20586ef43ee64
5eb8e6dceb56e87e26f8f24241ad642b2eff079f
cef9b216fce870db3e6994d9a434a2600b29b29a


