# isabelle_session_info

session_name: Word_Lib
sources: 7c10a75ac80f7001df2bf94d7bca41f27bf248e7
output_heap: 67e8ffe2300fdb8aead8d89781d4386424b21d0a
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
2fa922e6ab1536cbc5fd40a94ba750e210c04e1f


