# isabelle_session_info

session_name: HOL-Algebra
sources: c8072a82ecb5fadd66ad44daa7b854d58311b3fd
output_heap: 47564d6a1743468d88b484c85a788f73410944b4
input_heaps:
825f157ccf104eaf68947b05559181bff314ebf0
eebbbcd2c7cfd818a2e0e43209fadb4a2d9bab0f
fd88250889539183923d86819766c079155e3073
a37320e56d6cad2938a89aca67f9b963ac74ab66


