# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 0584c8bb35a83e6e60afc4a6fe05f5c893a8944a
output_heap: d5493a7d7642b2a9fd755de5501164a83ddbf071
uuid: 16446cf7-5bc4-460b-a0b5-4920f6f5762f
input_heaps:
d0b0e1d3fca0543fc6f2e2fe2b9feb4c06e18beb
e4e0d8e376269bf7d8c3cd64976b6a6f15d0983f
76a8e4a61a64a44c9311611482bcd9e1b4b15eab


