# isabelle_session_info

session_name: HOL-Proofs-ex
input_heaps: 7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 0e4637d76b2d646eccdfa510f4be19082b7a325b
sources:
0968089760f349910671eac0a954fb5ca15b2a9c
2b5be0f523e6ddb71d4106b0472be8507694462a
bd94d4618f43c8e1cbea332f6f39879342979ac1
c8914473932544077e1e2bffaba559fcb7c2caa2
daba3972be164dfa9dd9d52f7c9d32b58d67a5f4


