# isabelle_session_info

session_name: HOL-Algebra
sources: 346ef86e74e90697daf0728edecb606e2a9f9a10
output_heap: 1d3f9a6ce3268629a296f69594b1791d0fb16661
uuid: d014f11e-92a3-43b0-bba8-dca7a282a0da
input_heaps:
99aa1dee31dfa0d453b64e417ce1ae8b896c3602
2d57dd9f95ebb02243d5cf26c23b4f5f995f70e2
338bc3c334e08f897fae0355c1fe3ae12b9a40d3
c45379b38ebe9ba85942f9815d20a36a563e7754


