# isabelle_session_info

session_name: HOL-Algebra
sources: d152b9510c57a7cc10ba4f87dacfba546c3f7d16
output_heap: 7a830e593e9433320d9ff4e8d7a774afda799b3e
input_heaps:
34c3d73a560673e85d6a79ed679f4ac127002b9c
cb7dfd709478d010b69c5220c7d782899ba3b103
1413cd76501485111dc589e55f8106f97f9eef63
81a44d5707ff9ea4a4000b82ecb3d5ac4ba588bd


