# isabelle_session_info

session_name: HOL-Algebra
sources: da366669fa2a9304ea86d22015749165c0175de2
output_heap: d167368d427684d729adfc43192f1e5ab258ee14
uuid: 5b7b5b5e-2bc3-4644-ae1c-a27af2fc09d0
input_heaps:
b2c9ee63d5fe16cd978c564d494a9c11f37d0e75
5e62c0cb0100aec33c186f91f5546684a9cc17b0
0e35e761c765ebc4bd583aeca7032f08719dc8fe
579d4ecc1bfac188cedfe68bfba80e28c7bc65c9


