# isabelle_session_info

session_name: HOL-Proofs-ex
input_heaps: 76e60ab7be570c8f37ab4fbd0cc297599bd4212e afb5bba90814eb0e342bd82fb6572526c1bfe06f
sources:
0968089760f349910671eac0a954fb5ca15b2a9c
2b5be0f523e6ddb71d4106b0472be8507694462a
b889e933a0866256f752f7bb016bbedd3651546b
c8914473932544077e1e2bffaba559fcb7c2caa2
daba3972be164dfa9dd9d52f7c9d32b58d67a5f4


