# isabelle_session_info

session_name: HOL-Algebra
sources: 71b8da302f777f9dfb5b49c64664054f235bc740
output_heap: d00e827ba30706f7b0b5bb2a7b105e9bb5e62485
input_heaps:
a4c5d301a507f7945f83c5170a983e051beeb81d
4a642d629266e43cd6125d2662e20da56947e7e5
d2eea66bd9ed9e05714cf432661d2ba141bbe0dc
2b5df4927a8b9da7a59b06a0aefff6a0e4ad8469


