# isabelle_session_info

session_name: ZF-IMP
input_heaps: d2fbbb72014e26de66d280d7be7d08deaaabe52f 0a5a5f9d77cce4612927cf05284874a58e3106a0
sources:
3d95ea096437d32bde576ab1e2813e5f03f1ba6f
6902735925d95695d38fc789da167ca9eaeac0b1
6e637ae043dcfabead8d01712b845e55b879a400
754b2b24d4b7025f2ab633e553a6d552ed01f748
81ac04353fe9f4e7b246a9d98ba0661e0d1b5a44
cf84e7a532bc1b4860702b59538db46e9c6d011e


