# isabelle_session_info

session_name: HOL-Algebra
sources: e2b068deb903e3b7ab01d658850d37be52362843
output_heap: c21b174a1d46a488c0a2871e24859d6d04219d4c
uuid: ac3eff89-0b25-4028-a9d0-973006ddeea3
input_heaps:
993eb6fa3b516fdd7b7b2572ecff8a2946f70eb4
81855fd54aebed115a45643a126470a727632716
f41e60420c286d9f824f457ca796f7053aab44e0
84f87d41f39b2a50674715dada74c76aba5d3863


