# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 23272511b7ef3cffa6617427d66c5048d1bde299
output_heap: 824aed50ce29c3e2891bb95c8344822e90439a98
uuid: 0da812ee-8692-4591-b624-78b19b0024ef
input_heaps:
2e4658671229f9274cfe02e0d36cff0126e3a110
b07d47266a283eadfc0a5330e0f2b1f156abc81c
7b7d3beb569ccf98e2ad20a11585a610eb4c0c4f


