# isabelle_session_info

session_name: HOL-Algebra
sources: b5707ba43d789d1e7b3c7634faef642b1f65a29a
output_heap: bd3fcbb0297a0b7409e824f5aed2312286f5a636
input_heaps:
4ada9fbe83a94b62302e9fff8dd0f370817a1bea
481d4cc41d0a5b79b151d9da80c65ac5da752b1b
a267a4b47df50acef5b1a9499d1759b792567678
1c9065ddd9828faf45ec1b54b3195b37c38be08b


