# isabelle_session_info

session_name: ZF-UNITY
sources: 510ed3994ddb40f5d1dbb73d1e0c4d1d057b8054
input_heaps:
fe1ca847b6e56efd0c060c7dce965855c93258d8
dad9b10ff43d31cb78e3e69fbafca1d3806af966
263b69d2e842de054df1393b40b1c2ca73fbc035


