# isabelle_session_info

session_name: HOL-Algebra
sources: 13ffa0b0345e15e1a17265909da36f134f937bdc
output_heap: 8b4582a2849d0de5da44f35015b450c64aa881b4
input_heaps:
4b2e4ef84f2f7c72f1d619e9e1af08455389b338
22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0
01763d1f9d1dccd6e1ba7f81275e973e88524c05
fd417c470595813b46a376467331620b09de3b61


