# isabelle_session_info

session_name: HOL-Algebra
sources: 2a32d16cb1c7a8e4ca9a526a7b6c450f85a00d3f
output_heap: a1048f8b9733370fa3f6b89c8a0ed2bad109dfc9
input_heaps:
bfda3f4d86d49fd6800d54a9113d467455da22b8
c1d5446aa499fb1141fa91905c27dc8090a7a6ff
ef13be9605b429689574dde55cdc7ca47244925f
9ec756423278c58e777ab4ae02fe0f4928c16307


