# isabelle_session_info

session_name: HOL-Proofs-ex
input_heaps: 0dae525efa6f84ecf34af93ff7cba31c2592ec0d 6a2f605c6a2d3289aca1c692e8b33be93cb4f473
sources:
0968089760f349910671eac0a954fb5ca15b2a9c
2b5be0f523e6ddb71d4106b0472be8507694462a
9e7e08378f5831bbe94dbb2be763fed4e356bf71
c8914473932544077e1e2bffaba559fcb7c2caa2
daba3972be164dfa9dd9d52f7c9d32b58d67a5f4


