# isabelle_session_info

session_name: HOL-Proofs-ex
input_heaps: d2fbbb72014e26de66d280d7be7d08deaaabe52f 7cde222432f4c551cd86981f315d7f2aaba33301
sources:
0968089760f349910671eac0a954fb5ca15b2a9c
2b5be0f523e6ddb71d4106b0472be8507694462a
b889e933a0866256f752f7bb016bbedd3651546b
c8914473932544077e1e2bffaba559fcb7c2caa2
daba3972be164dfa9dd9d52f7c9d32b58d67a5f4


