# isabelle_session_info

session_name: HOL-Proofs-ex
input_heaps: 1d303aa48c02fbfb8fe205c90ee243804756e6a6 3faf2152c443ba6384caba616cc73c7a2ed59e32
sources:
0968089760f349910671eac0a954fb5ca15b2a9c
2b5be0f523e6ddb71d4106b0472be8507694462a
bd94d4618f43c8e1cbea332f6f39879342979ac1
c8914473932544077e1e2bffaba559fcb7c2caa2
daba3972be164dfa9dd9d52f7c9d32b58d67a5f4


