# isabelle_session_info

session_name: ZF-UNITY
sources: ec233e33f8921dda5371b09847d283573e1c4f0a
input_heaps:
00ea09bdec95d2f60a2d5101a53b5d2bb8a9550e
e46160da8117c858ba2fe97c74a8c2f8b70a9304
b2267ed3628441d60a6e0e63b9271403bbed99a2


