# isabelle_session_info

session_name: HOL-Proofs-ex
input_heaps: d38e002fb81c6e684e22dfb9a00446f1cfd993cd 16c51145f13f78a833fde38a837fcf35c8f0cc4f
sources:
0968089760f349910671eac0a954fb5ca15b2a9c
2b5be0f523e6ddb71d4106b0472be8507694462a
93a7852ada88b8ae80647c93bbb853255923eceb
c8914473932544077e1e2bffaba559fcb7c2caa2
daba3972be164dfa9dd9d52f7c9d32b58d67a5f4


