# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: a59a3c47b64b72b80796e5f615b721ff3cee9cb6
output_heap: 91840e94caa6c1f64b13765fc0b014bfc7529ab5
uuid: f28e015b-8b65-4abd-b62c-9f703eca3d59
input_heaps:
ba4d32bd4787a90c8ed747450db046e743778809
00e4c29c03866e48b64ed0938508578e7f44b357
5306384618dcbe43ee573dd52706f4b9bef9df56


