# isabelle_session_info

session_name: HOL-Algebra
sources: d7cb5918f3d832d7c093887bde0307df7e8570fa
output_heap: 2ed0ab52aecd4ba87b683d5f5f318c7c42ba54c9
input_heaps:
c8b758c55bf2cb56ac81c62d74f7a65f594ebbff
4e355dbf04f38016bfcddf244a1ff37122307044
e4eed2c1c047c11687d10e18c9475647942cfbec
8e4266883344f5bfe7dc097ed2a549d46b5403b1


