# isabelle_session_info

session_name: HOL-Proofs-ex
input_heaps: 3269756b47a6a9653987fc2e45e2efe5ac3c9347 0cbee22f47a7e79802cdaaae150d20dcf04bd86f
sources:
0968089760f349910671eac0a954fb5ca15b2a9c
2b5be0f523e6ddb71d4106b0472be8507694462a
c8914473932544077e1e2bffaba559fcb7c2caa2
d17701db9cb84538383b761e3dd5d62b46d1e9d5
daba3972be164dfa9dd9d52f7c9d32b58d67a5f4


