# isabelle_session_info

session_name: HOL-Algebra
sources: 8fd075aa1546bd688239bd267f7f3d0c2cad8cca
output_heap: c2024de3a00e91f6da867e00dfad2f353054796b
input_heaps:
144fbd49de05d756fe9e2e19f640fdb8a712f8dc
a414a4ff183b67646c55f7bc60a981cbc1fc30c5
3f15a4d09d6cf1cb917b6067d88d198fb48e78ac
99989322850693ed939ce2bdc3243e5843b46556


