# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: bfd272f5cea4b2597783f14c67ff02a7bad117b7
output_heap: 13a5e35744f6f1ff0b9d77cf73ff0996e587b0f4
input_heaps:
17c25933c8a796b55f879d9c40846151021157f8
aa8285a4d18518a93d994f653c38d76ef76976b0
e6c7413cbd6343b824e3f145f1634385d35371e1


