# isabelle_session_info

session_name: HOL-Algebra
sources: fbc637d577225f01656feb0a959efcef1e8c4d90
output_heap: ef9299708328afd739a8675cfcc5d259b8b13f98
input_heaps:
640c93dd9b059e57f250a6bde56ed91b11370523
bab23913bc1ced9b6f8f72e060cf9fe98000c983
49620e465436007702fa5fe3fe9112d82a292eb2
35c09773673cdf574411a9288e5ee092818b752b


