# isabelle_session_info

session_name: HOL-Algebra
sources: 570fc7b784a28f32bf0b486038871cac1835bd55
output_heap: c1fa7b87855c7a7f78c65698e29f627ab19601c0
input_heaps:
f773f64b5324612793822c6b9168a199158bbc25
919d4d74d5325321cbb68f9d83a169ecec0e086e
b4d77f62759e3afff6f1ba3babead3c892f3048d
43a2669c8da8a9587d79b7b1a7631f1eb638a9f9


