# isabelle_session_info

session_name: ZF-UNITY
sources: ec233e33f8921dda5371b09847d283573e1c4f0a
input_heaps:
a3d176741bae82c9dc513b9f3c009dc5dcba212c
0f17bfb61b53c74b58e1f248604d14b7f0639dc1
d1176b29fb7fc44e74edae4feac392992b1ed5a5


