# isabelle_session_info

session_name: HOL-Algebra
sources: 63cc54b196a676a204d798beb0f7f13a35b9abfb
output_heap: 90c8feea76b22be3daf49c389a0ad4590ccee129
uuid: 00756094-41fe-498e-8ae7-e7c3a8406545
input_heaps:
d0b0e1d3fca0543fc6f2e2fe2b9feb4c06e18beb
e4e0d8e376269bf7d8c3cd64976b6a6f15d0983f
76a8e4a61a64a44c9311611482bcd9e1b4b15eab
d5493a7d7642b2a9fd755de5501164a83ddbf071


