# isabelle_session_info

session_name: HOL-Algebra
sources: 5f125424fda9736df2783e3d87926e00b1865d2d
output_heap: eb156c9487449a8f5738ae085acb76ed48f773d1
input_heaps:
951230969940b07da93990e08fc8bf60c24ffe6c
f1fab7c32ee46794bf6b2349d4fdcefa0edbff44
a41ec127f05ea584e32771a235b923f201f7bdf9
baca1044d1bcdf38d0eafcf9f26ba55858ca9553


