# isabelle_session_info

session_name: HOL-Algebra
sources: 675db4078517079a699c1dc658cfd8691adf633e
output_heap: 1dbc2af64fdc6638372d46ee138bc1bb7eafbf2e
input_heaps:
949c598a2bd1e6db44f140e6fcae9e1de0a86ad6
107df69c9cf9c75c7702af58ee7b77c30164c5b9
a1febd8fff15d3313aa3a38fedb6fc4d7cc6c79a
1fd636c723fb8aae7938eff32ab91ae083e1e1fc


