# isabelle_session_info

session_name: ZF-UNITY
sources: a78ad809f34be0a82d2f1f35f233d676621ed0cb
input_heaps:
04546e13b3ec7f70b074138ed2f4d8667390e734
18c073c0f33a6f50d4d82e4ddf20e1ede8d4b445
88574d3f07d4b836b9a4e38355c61a60d26e47b8


