# isabelle_session_info

session_name: HOL-Proofs-ex
input_heaps: 014fdf73a0b928fde39c061b3b448884e65fa152 840726e15014c89ac34ddaf49ebf434ac663b933
sources:
0968089760f349910671eac0a954fb5ca15b2a9c
2b5be0f523e6ddb71d4106b0472be8507694462a
9e7e08378f5831bbe94dbb2be763fed4e356bf71
c8914473932544077e1e2bffaba559fcb7c2caa2
daba3972be164dfa9dd9d52f7c9d32b58d67a5f4


